Explicit polymorphism and CPS conversion. (1993)

by Robert Harper, Mark Lillibridge
Venue:In Proc. 20th ACM Symp. on Principles of Programming Languages (POPL),