The ins and outs of iteration in Mezzo

Armaël Guéneau (1, 2) , François Pottier (1) , Jonathan Protzenko (1)

1 GALLIUM - Programming languages, types, compilation and proofs
2 ENS de Lyon - École normale supérieure de Lyon

This is a talk proposal for HOPE 2013. Using iteration over a collection as a case study, we wish to illustrate the strengths and weaknesses of the prototype programming language Mezzo.

Domaines: Langage de programmation [cs.PL]

Armaël Guéneau, François Pottier, Jonathan Protzenko. The ins and outs of iteration in Mezzo. 2013. ⟨hal-00912381⟩