semigroup··on Category Theory for Programmers (2014)What research is being done in functional programming/category theory in the academic world? This interest me quite a bit.