Compositional Data Types - A Report from the Field

Patrick Bahr

Proceedings of the 4th DIKU-IST Joint Workshop on Foundations of Software, 2011.

Categories: Recursion Schemes, Type Systems, Functional Programming