Type−indexed Data Types (Proceedings of the Sixth International Conference on Mathematics of Program Construction (MPC '02), 2002)

(untitled) - Hinze, R; Jeuring, J; Löh, A