Programming with permissions in Mezzo

By François Pottier and Jonathan Protzenko

Publisher: Association for Computing Machinery (ACM)

Year: 2013

DOI identifier: 10.1145/2544174.2500598

OAI identifier:

Provided by: MUCC (Crossref)

Download PDF:
_{Sorry, we are unable to provide the full text but you may find it at the
following location(s):}

http://gallium.inria.fr/%7Efpo... (external link)