Publications

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