Existential Types: Logical Relations and Operational Equivalence (1998)

Cached

Download Links

by Andrew M. Pitts
Venue:In Proceedings of the 25th International Colloquium on Automata, Languages and Programming
Citations:31 - 2 self