Polymorphic type assignment and CPS conversion (1993)

by Robert Harper, Mark Lillibridge
Venue:LISP and Symbolic Computation