Hinze, Ralf; Jeuring, Johan and Löh, Andres "Type-indexed datatypes"

Proceedings of the 6th International Conference on (2002) Proceedings of the 6th International Conference on Mathematics of Program Construction, LNCS 2386, 2002, Springer-Verlag.  

Languages mentioned Generic Haskell {2000}