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.
Domains
Programming Languages [cs.PL]
Origin : Files produced by the author(s)
Loading...