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