Compiling polymorphism using intensional type analysis (1995)

by Robert Harper , Greg Morrisett
Venue:In Symposium on Principles of Programming Languages
Citations:267 - 19 self