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
Springer Berlin Heidelberg
Berlin, Heidelberg
Pages 21-35
2002
Topic(s): types
Note(s): Cyclone language