Service interruption on Monday 11 July from 12:30 to 13:00: all the sites of the CCSD (HAL, Epiciences, SciencesConf, AureHAL) will be inaccessible (network hardware connection).
Skip to Main content Skip to Navigation
Preprints, Working Papers, ...

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
Inria Paris-Rocquencourt
2 ENS Lyon - École normale supérieure - Lyon
Abstract : 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.
Document type :
Preprints, Working Papers, ...
Complete list of metadata
https://hal.inria.fr/hal-00912381
Contributor : Jonathan Protzenko Connect in order to contact the contributor
Submitted on : Monday, December 2, 2013 - 9:35:53 AM
Last modification on : Thursday, February 3, 2022 - 11:16:59 AM

Links full text

arxiv

Identifiers

  • HAL Id : hal-00912381, version 1
  • ARXIV : 1311.7256

Collections

ENS-LYON | INRIA | INRIA2 | UDL

Citation

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

Export

BibTeX TEI DC DCterms EndNote Datacite

Share

Metrics

Record views

74

 

Contact                    Legal Notice                    Personal Data