@misc{indiciae59c80a5bd9d7,
  title = {The ins and outs of iteration in Mezzo},
  author = {Armaël Guéneau and François Pottier and Jonathan Protzenko},
  year = {2013},
  url = {https://arxiv.org/abs/1311.7256},
  note = {Source identifier: 1311.7256}
}