"Intensional polymorphism in type-erasure semantics."

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