mezzo 0.0.m8
| License | GPL-2 | |||||||||||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Homepage | http://protz.github.io/mezzo/ | |||||||||||||||||||||||||||||||||
| Maintainer | jonathan.protzenko@inria.fr | |||||||||||||||||||||||||||||||||
| Dependencies |
|
|||||||||||||||||||||||||||||||||
| OCaml | >= 4.00.1 | |||||||||||||||||||||||||||||||||
| Published | May 2, 2014 | |||||||||||||||||||||||||||||||||
| Source [http] |
https://github.com/protz/mezzo/archive/m8.tar.gz 37b91c299133cc0e5c8fa8977ac293e1 |
|||||||||||||||||||||||||||||||||
| Edit | https://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 |