Polymorphic type assignment and CPS conversion (1993)

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