Compiling Polymorphism Using Intensional Type Analysis (1995)

by Robert Harper , Greg Morrisett
Venue:In Twenty-Second ACM Symposium on Principles of Programming Languages
Citations:260 - 18 self