Intensional polymorphism in type-erasure semantics (1998)

by K CRARY, S WEIRICH, G MORRISETT
Venue:In Proceedings of the 1998 ACM SIGPLAN International Conference on Functional Programming