TY  - RPRT
TI  - Programming with Permissions in Mezzo
AU  - Jonathan Protzenko
AU  - François Pottier
PY  - 2013
DO  - 10.1145/2500365.2500598
UR  - https://arxiv.org/abs/1311.7242
ID  - 1311.7242
ER  -