Compiling polymorphism using intentional type analysis (1995)

by R Harper, G Morrisett
Venue:In Conference Record of POPL ’95: 22nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages