Compiling Polymorphism Using Intensional Type Analysis.

Robert Harper, J. Gregory Morrisett

Browse the full POPL paper archive.