Existential Types: Logical Relations and Operational Equivalence.

Andrew M. Pitts

Browse the full ICALP paper archive.