Intensional Polymorphism in Type-Erasure Semantics (1998)

Cached

Download Links

by Karl Crary Stephanie , Stephanie Weirich , Greg Morrisett
Venue:Journal of Functional Programming