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