Intensional polymorphism in type erasure semantics (2002)

by Karl Crary, Stephanie Weirich, Greg Morrisett
Venue:Journal of Functional Programming