Programming with permissions: the Mezzo language - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2012

Programming with permissions: the Mezzo language

Abstract

Mezzo is a functional programming language with effects, in the tradition of ML. Mezzo aims to provide a successor to OCaml with afiner control of aliasing and effects. We offer stronger static guarantees on the mutable store: programs written in Mezzo enjoy non-aliasing and separation properties. This fine-grained control ofownership and effects allows Mezzo to type-check programs previously deemed unsafe by the OCaml type-checker.
Fichier principal
Vignette du fichier
extended-abstract.pdf (60.02 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-01092204 , version 1 (08-12-2014)

Identifiers

  • HAL Id : hal-01092204 , version 1

Cite

Jonathan Protzenko, François Pottier. Programming with permissions: the Mezzo language. ACM SIGPLAN Workshop on ML, Sep 2012, Copenhagen, Denmark. ⟨hal-01092204⟩

Collections

INRIA INRIA2
114 View
34 Download

Share

Gmail Facebook X LinkedIn More