Intensional Polymorphism in Type-Erasure Semantics

Stephanie Weirich

Cornell University

(joint work with Karl Crary and Greg Morrisett)

Next slide

Back to first slide

View graphic version