package mezzo

  1. Overview
  2. No Docs
We present the design of Mezzo, a programming language in the ML tradition,

Install

protz.github.io Edit opam file

Authors

Maintainers

  1. J
    jonathan.protzenko@inria.fr

Sources

m8.tar.gz
md5=37b91c299133cc0e5c8fa8977ac293e1

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.

Published: 02 May 2014

Dev Dependencies

None

Used by

None

Conflicts

None