Skip to Main content Skip to Navigation
Conference papers

Programming with permissions: the Mezzo language

Abstract : Mezzo is a functional programming language with effects, in the tradition of ML. Mezzo aims to provide a successor to OCaml with afiner control of aliasing and effects. We offer stronger static guarantees on the mutable store: programs written in Mezzo enjoy non-aliasing and separation properties. This fine-grained control ofownership and effects allows Mezzo to type-check programs previously deemed unsafe by the OCaml type-checker.
Document type :
Conference papers
Complete list of metadata

Cited literature [1 references]  Display  Hide  Download
Contributor : François Pottier Connect in order to contact the contributor
Submitted on : Monday, December 8, 2014 - 2:11:18 PM
Last modification on : Friday, January 21, 2022 - 3:16:00 AM
Long-term archiving on: : Monday, March 9, 2015 - 11:40:40 AM


Files produced by the author(s)


  • HAL Id : hal-01092204, version 1



Jonathan Protzenko, François Pottier. Programming with permissions: the Mezzo language. ACM SIGPLAN Workshop on ML, Sep 2012, Copenhagen, Denmark. ⟨hal-01092204⟩



Les métriques sont temporairement indisponibles