Stephanie Weirich
Intensional Polymorphism in Type-Erasure Semantics
Stephanie Weirich, April 28, 1998
Department of Computer Science, Cornell University
nuprl@cs.cornell.edu