Hinze, Ralf "Polytypic values possess polykinded types"

Backhouse, Roland and J.N. (2000) Backhouse, Roland and J.N. Oliveira, editors, Proceedings of the Fifth International Conference on Mathematics of Program Construction (MPC 2000), Ponte de Lima, Portugal, July 3-5, 2000, Springer-Verlag.  

Languages mentioned Generic Haskell {2000}