Polytypic values possess polykinded types (2002)

by R Hinze
Venue:Science of Computer Programming