Gradual ownership types

DOI10.1007/978-3-642-28869-2_29MaRDI QIDQ2892752zbMATH OpenOpenAlexFDO

Authors Ilya Sergey, Dave Clarke

Publication date 22 June 2012

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

Full work available at URL https://doi.org/10.1007/978-3-642-28869-2_29

Mathematics Subject Classification ID

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

Recommendations

• Ownership types for object encapsulation
• Gradual Typing for Annotated Type Systems
• Abstracting gradual typing
• Gradual type theory
• Principal type schemes for gradual programs

Cited in

(10)

• Combining traits with boxes and ownership types in a Java-like setting
• scientific article; zbMATH DE number 1728235 (Why is no real title available?)
• Ownership types for object encapsulation
• Tunable static inference for generic universe types
• Infering Ownership Types for Encapsulated Object-Oriented Program Components
• Existential Quantification for Variant Ownership
• ConSORT: context- and flow-sensitive ownership refinement types for imperative programs
• Migrating gradual types
• Gradual type-and-effect systems
• Implicit ownership types for memory management

This page was built for publication: Gradual ownership types

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