Explicit Polymorphism and CPS Conversion.

Robert Harper, Mark Lillibridge

Browse the full POPL paper archive.