@misc{indiciaea358ef61c028,
  title = {Programming with Permissions in Mezzo},
  author = {Jonathan Protzenko and François Pottier},
  year = {2013},
  doi = {10.1145/2500365.2500598},
  url = {https://arxiv.org/abs/1311.7242},
  note = {Source identifier: 1311.7242}
}