Intensional Polymorphism in Type-Erasure Semantics.

Karl Crary, Stephanie Weirich, J. Gregory Morrisett

Browse the full ICFP paper archive.