Existential types for imperative languages

Dan Grossman
[doi] [ISBN] [Google Scholar] [DBLP] [Citeseer]

Programming Languages and Systems
Springer Berlin Heidelberg
Berlin, Heidelberg
Pages 21-35
2002
Topic(s): types
Note(s): Cyclone language