mezzo

LicenseGPL-2
Homepagehttp://protz.github.io/mezzo/
Maintainerjonathan.protzenko@inria.fr
Dependencies
&fix
functory
menhir
ocamlbuild
ocamlfind
pprint
ulex
yojson
Availableocaml-version >= "4.00.1"
PublishedMay 2, 2014
Source [http] https://github.com/protz/mezzo/archive/m8.tar.gz
37b91c299133cc0e5c8fa8977ac293e1
StatisticsInstalled once last month.
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/mezzo/mezzo.0.0.m8/opam

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.

No package is dependent