4 ms·
People who like this may also be interested in the awesome applied category theory list https://github.com/statebox/awesome-applied-ct https://github.com/stateb
by philzook 7y ago
People who like this may also be interested in the awesome applied category theory list https://github.com/statebox/awesome-applied-ct https://github.com/statebox/awesome-applied-ct
- philzook 7y agoAnd Conal Elliott's Compiling to Categories, which I've seen discussed here before http://conal.net/papers/compiling-to-categories/ http://conal.net/papers/compiling-to-categories/