mezzo
We present the design of Mezzo, a programming language in the ML tradition,
Description
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.
Install
- Published
-
02 May 2014
- Authors
-
- Maintainers
-
Sources
Dependencies
Reverse Dependencies