Relational Programming

A Short Skinny on Relations & the Algebra of Programming | Hey There Buddo!

• url: https://www.philipzucker.com/a-short-skinny-on-relations-towards-the-algebra-of-programming/
• topics: Relational Programming, Haskell, Refinement Calculus
• future-topics: Algebra of Programming, Calculus of Relations
• associated-repo: https://github.com/philzook58/rel

.

amb - The CHICKEN Scheme wiki

• url: https://wiki.call-cc.org/eggref/5/amb

.