Explore >> Select a destination
|
You are here 
|
mmhaskell.com | ||
| | | | |
mgsloan.com
|
|
| | | | | Type system tricks to implement type-directed function application. | |
| | | | |
danilafe.com
|
|
| | | | | ||
| | | | |
www.hillelwayne.com
|
|
| | | | | A (directed) graph is a set of nodes, connected by arrows (edges). The nodes and edges may contain data. Here are some graphs: All graphs made with graphviz (source) Graphs are ubiquitous in software engineering: Package dependencies form directed graphs, as do module imports. The internet is a graph of links between webpages. Model checkers analyze software by exploring the "state space" of all possible configurations. | |
| | | | |
blog.sumtypeofway.com
|
|
| | | |||
