Programming with permissions in Mezzo (2013)

by François Pottier, Jonathan Protzenko
Venue:In International Conference on Functional Programming (ICFP