Existential Quantification for Variant Ownership

DOI10.1007/978-3-642-00590-9_10zbMath1234.68064OpenAlexW1489834477MaRDI QIDQ3617695

Nicholas Cameron, Sophia Drossopoulou

Publication date: 31 March 2009

Published in: Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-00590-9_10

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Related Items (1)

Matching MyType to subtyping

This page was built for publication: Existential Quantification for Variant Ownership