Existential types for imperative languages (2002)

by Dan Grossman
Venue:In Proceedings of the 11th European Symposium on Programming Languages and Systems