Linking pages
- GitHub - gasche/icfp2017-papers: Link to preprints for ICFP'17 and colocated events https://github.com/gasche/icfp2017-papers 18 comments
- Approximating Compiling to Categories using Type-level Haskell: Take 2 | Hey There Buddo! http://www.philipzucker.com/approximating-compiling-categories-using-typelevel-haskell-take-2/ 9 comments
- A Short Skinny on Relations & the Algebra of Programming | Hey There Buddo! http://www.philipzucker.com/a-short-skinny-on-relations-towards-the-algebra-of-programming/?preview=true 8 comments
- Episode 13 - John Wiegley on Categories and Compilers - The Haskell Cast http://www.haskellcast.com/episode/013-john-wiegley-on-categories-and-compilers 7 comments
- Categorical Combinators for Graphviz in Python | Hey There Buddo! http://www.philipzucker.com/categorical-combinators-for-graphviz-in-python/ 0 comments
- A Short Skinny on Relations & the Algebra of Programming | Hey There Buddo! http://www.philipzucker.com/a-short-skinny-on-relations-towards-the-algebra-of-programming/ 0 comments
- Computational Category Theory in Python I: Dictionaries for FinSet | Hey There Buddo! http://www.philipzucker.com/computational-category-theory-in-python-i-dictionaries-for-finset/ 0 comments
- A Touch of Topological Quantum Computation 3: Categorical Interlude | Hey There Buddo! http://www.philipzucker.com/a-touch-of-topological-computation-3-categorical-interlude/ 0 comments
- Categorical Combinators for Convex Optimization and Model Predictive Control using Cvxpy | Hey There Buddo! http://www.philipzucker.com/categorical-combinators-for-convex-optimization-and-model-predictive-control-using-cvxpy/ 0 comments
Related searches:
Search whole site: site:conal.net
Search title: Compiling to categories
See how to search.