Patrick Bahr Assistant Professor, IT University of Copenhagen

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