Morrisett. Intensional polymorphism in type-erasure semantics (1998)

by Karl Crary, Stephanie Weirich, J Gregory
Venue:In ICFP ’98