TY  - RPRT
TI  - The ins and outs of iteration in Mezzo
AU  - Armaël Guéneau
AU  - François Pottier
AU  - Jonathan Protzenko
PY  - 2013
UR  - https://arxiv.org/abs/1311.7256
ID  - 1311.7256
ER  -