The algebra (and calculus!) of algebraic data types
Metadata
Source URL:: https://codewords.recurse.com/issues/three/algebra-and-calculus-of-algebraic-data-types
Topics:: #algebraic-data-types, #data-types, #types, #type-theory
Source URL:: https://codewords.recurse.com/issues/three/algebra-and-calculus-of-algebraic-data-types
Topics:: #algebraic-data-types, #data-types, #types, #type-theory