Proceedings of the 6th International Conference on Mathematics of Program Construction, LNCS 2386, 2002, Springer-Verlag.
(2002)
Hinze, Ralf; Jeuring, Johan and Löh, Andres (2002)
Hinze, Ralf; Jeuring, Johan and Löh, Andres "Type-indexed datatypes"