Explicit polymorphism and CPS conversion (1993)

by Robert Harper, Mark Lillibridge
Venue:In Twentieth ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages