mezzo
We present the design of Mezzo, a programming language in the ML tradition,
which places strong emphasis on the control of aliasing and access to mutable memory. A balance between simplicity and expressiveness is achieved by marrying a static discipline of permissions and a dynamic mechanism of adoption and abandon.
License | GPL-2 |
---|---|
Homepage | http://protz.github.io/mezzo/ |
Maintainer | jonathan.protzenko@inria.fr |
OCaml | >= 4.00.1 |
Events
May 2, 2014
Published version 0.0.m8