Generic Views on Data Types

Stefan Holdermans, Johan Jeuring, Andres Löh, Alexey Rodriguez. Generic Views on Data Types. In Tarmo Uustalu, editor, Mathematics of Program Construction, 8th International Conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006, Proceedings. Volume 4014 of Lecture Notes in Computer Science, pages 209-234, Springer, 2006. [doi]