byorgey / type-matrices

Paper about polynomial functors, regular expressions, matrices of types, derivatives, semirings, and other cool stuff
13Updated 6 years ago

Related projects

Alternatives and complementary repositories for type-matrices