The ins and outs of iteration in Mezzo

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.

Data and Resources

Additional Info

Field Value
Source https://inria.hal.science/hal-00912381
Author Guéneau, Armaël, Pottier, François, Protzenko, Jonathan
Maintainer CCSD
Last Updated May 8, 2026, 00:21 (UTC)
Created May 8, 2026, 00:21 (UTC)
Identifier hal-00912381
Language en
contributor Programming languages, types, compilation and proofs (GALLIUM) ; Inria Paris-Rocquencourt ; Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)
creator Guéneau, Armaël
date 2013-11-28T00:00:00
harvest_object_id 7f58a132-8c7e-4146-b46a-08d198c0ef93
harvest_source_id 3374d638-d20b-4672-ba96-a23232d55657
harvest_source_title test moissonnage SELUNE
metadata_modified 2026-04-28T00:00:00
relation info:eu-repo/semantics/altIdentifier/arxiv/1311.7256
set_spec type:UNDEFINED