Explicit polymorphism and CPS conversion (1993)

by R Harper, M Lillibridge
Venue:In ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL