4 ms·
What research is being done in functional programming/category theory in the academic world? This interest me quite a bit.
by semigroup 10y ago
What research is being done in functional programming/category theory in the academic world? This interest me quite a bit.
- mrkgnao 10y agohttps://arxiv.org/list/math.CT/recent https://arxiv.org/list/math.CT/recent
- hackermailman 10y agoCategories of cubicle sets/Cubical Type Theory http://dlicata.web.wesleyan.edu/pubs.html http://dlicata.web.wesleyan.edu/pubs.html