Linking pages
- Linear Algebra of Types | Hey There Buddo! http://www.philipzucker.com/linear-algebra-of-types/ 13 comments
- Relational Algebra with Fancy Types | Hey There Buddo! http://www.philipzucker.com/relational-algebra-with-fancy-types/ 9 comments
- Linear Relation Algebra of Circuits with HMatrix | Hey There Buddo! http://www.philipzucker.com/linear-relation-algebra-of-circuits-with-hmatrix/ 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
- An Interpreter of the Algebra of Programming in MiniKanren | Hey There Buddo! https://www.philipzucker.com/aop-minikanren/ 0 comments
Linked pages
- TACO: The Tensor Algebra Compiler | Website for the TACO project http://tensor-compiler.org/ 54 comments
- http://math.ucr.edu/home/baez/rosetta.pdf 51 comments
- Relational algebra - Wikipedia https://en.wikipedia.org/wiki/Relational_algebra 28 comments
- The Design and Use of QuickCheck https://begriffs.com/posts/2017-01-14-design-use-quickcheck.html 10 comments
- Lattice (order) - Wikipedia http://en.wikipedia.org/wiki/Lattice_(order) 10 comments
- Relational Algebra with Fancy Types | Hey There Buddo! http://www.philipzucker.com/relational-algebra-with-fancy-types/ 9 comments
- http://www4.di.uminho.pt/~jno/ps/pdbc.pdf 5 comments
- https://themattchan.com/docs/algprog.pdf 3 comments
- Compiling to categories http://conal.net/papers/compiling-to-categories/ 0 comments
- Profunctors as Relations | Bartosz Milewski's Programming Cafe https://bartoszmilewski.com/2016/07/25/profunctors-as-relations/ 0 comments
Related searches:
Search whole site: site:philipzucker.com
Search title: A Short Skinny on Relations & the Algebra of Programming | Hey There Buddo!
See how to search.