Existential Quantification for Variant Ownership

DOI10.1007/978-3-642-00590-9_10MaRDI QIDQ3617695zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• scientific article; zbMATH DE number 1728235
• Universe Types for Topology and Encapsulation
• Gradual ownership types
• scientific article; zbMATH DE number 2089395
• Ownership types for object encapsulation

Cited in

(2)

• Matching MyType to subtyping
• scientific article; zbMATH DE number 1728235 (Why is no real title available?)

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3617695)