Intensional polymorphism in type-erasure semantics (1998)

by Karl Crary, Stephanie Weirich, Greg Morrisett
Venue:In ACM SIGPLAN International Conference on Functional Programming