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 metadatas

Cited literature [1 references]  Display  Hide  Download

https://hal.inria.fr/hal-01092204
Contributor : François Pottier <>
Submitted on : Monday, December 8, 2014 - 2:11:18 PM
Last modification on : Friday, May 25, 2018 - 12:02:07 PM
Long-term archiving on : Monday, March 9, 2015 - 11:40:40 AM

File

extended-abstract.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01092204, version 1

Collections

Citation

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

Share

Metrics

Record views

164

Files downloads

65