Karl Crary, Stephanie Weirich, J. Gregory Morrisett. Intensional Polymorphism in Type-Erasure Semantics. In Matthias Felleisen, Paul Hudak, Christian Queinnec, editors, Proceedings of the third ACM SIGPLAN international conference on Functional programming. pages 301-312, ACM, Baltimore, Maryland, United States, 1998. [doi]
Abstract is missing.