Polymorphic Type Assignment and CPS Conversion (1993)

by R Harper, M Lillibridge
Venue:In Lisp and Symbolic Computation