"Intensional Polymorphism in Type-Erasure Semantics."

Karl Crary, Stephanie Weirich, J. Gregory Morrisett (1998)
a service of Schloss Dagstuhl - Leibniz Center for Informatics