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.
Type de document :
Communication dans un congrès
ACM SIGPLAN Workshop on ML, Sep 2012, Copenhagen, Denmark
Liste complète des métadonnées

https://hal.inria.fr/hal-01092204
Contributeur : François Pottier <>
Soumis le : lundi 8 décembre 2014 - 14:11:18
Dernière modification le : lundi 5 octobre 2015 - 16:59:37
Document(s) archivé(s) le : lundi 9 mars 2015 - 11:40:40

Fichier

extended-abstract.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01092204, version 1

Collections

Citation

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

Partager

Métriques

Consultations de
la notice

69

Téléchargements du document

49