Generic views on data types (2006)

by Stefan Holdermans, Johan Jeuring, Andres Löh, Alexey Rodriguez
Venue:In In Tarmo Uustalu, editor, Proceedings 8th International Conference on Mathematics of Program Construction, MPC’06, volume 4014 of LNCS