Intensional polymorphism in type-erasure semantics (1998)

by Karl Crary, Stephanie Weirich, Greg Morrisett