Hacker News Reader

What research is being done in functional programming/category theory in the academic world? This interest me quite a bit.

Categories of cubicle sets/Cubical Type Theory http://dlicata.web.wesleyan.edu/pubs.html