Skip to Main content Skip to Navigation
Conference papers

Programming with permissions in Mezzo

Abstract : We present Mezzo, a typed programming language of ML lineage. Mezzo is equipped with a novel static discipline of duplicable and affine permissions, which controls aliasing and ownership. This rules out certain mistakes, including representation exposure and data races, and enables new idioms, such as gradual initialization, memory re-use, and (type)state changes. Although the core static discipline disallows sharing a mutable data structure, Mezzo offers several ways of working around this restriction, including a novel dynamic ownership control mechanism which we dub "adoption and abandon".
Document type :
Conference papers
Complete list of metadata

Cited literature [34 references]  Display  Hide  Download
Contributor : François Pottier Connect in order to contact the contributor
Submitted on : Monday, October 28, 2013 - 9:47:00 PM
Last modification on : Thursday, February 3, 2022 - 11:18:37 AM
Long-term archiving on: : Wednesday, January 29, 2014 - 4:50:27 AM


Files produced by the author(s)




François Pottier, Jonathan Protzenko. Programming with permissions in Mezzo. ICFP - The 18th ACM SIGPLAN International Conference on Functional Programming - 2013, Sep 2013, Boston, United States. pp.173-184, ⟨10.1145/2500365.2500598⟩. ⟨hal-00877590⟩



Record views


Files downloads