Computing Publications

Publications Home » Existential Quantification for Va...

Existential Quantification for Variant Ownership

Nicholas Cameron, Sophia Drossopoulou

Conference or Workshop Paper
European Symposium on Programming
March, 2009
Lecture Notes in Computer Science
Springer
Keywords
Language Design
Ownership Types
SLURP
BibTEX file for the publication
 

pubs.doc.ic.ac.uk: built & maintained by Ashok Argent-Katwala.