Generic views on data types (2006)

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