Programming with permissions in Mezzo.

Franois Pottier, Jonathan Protzenko

Browse the full ICFP paper archive.