Compiling polymorphism using intensional type analysis (1995)

by R Harper, G Morrisett
Venue:In POPL ’95