Polytypic values possess polykinded types (2000)

by Ralf Hinze
Venue:Proceedings of the Fifth International Conference on Mathematics of Program Construction (MPC 2000