Patrick Bahr 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.
bib url
Slides Proceedings