Polytypic Values Possess Polykinded Types (2000)

by R Hinze
Venue:In Proc. of MPC