Programming with permissions: the Mezzo language - Archive ouverte HAL Access content directly
Conference Papers Year :

Programming with permissions: the Mezzo language

(1) , (1)
1

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
101 View
29 Download

Share

Gmail Facebook Twitter LinkedIn More