Intensional Polymorphism in Type-Erasure Semantics (2002)

by Karl Crary, Stephanie Weirich, Greg Morrisett