Polytypic values possess polykinded types (2000)

by R Hinze
Venue:Proc. of the Fifth International Conference on Mathematics of Program Construction (MPC 2000), July 3-5, 2000, volume 1837 of LNCS