English

The ins and outs of iteration in Mezzo

Programming Languages 2013-12-02 v1
Authors: Armaël Guéneau , François Pottier , Jonathan Protzenko
View on arXiv ↗ PDF ↗

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.

Keywords

Mezzo iteration programming language collection prototype language

Cite

@article{arxiv.1311.7256,
  title  = {The ins and outs of iteration in Mezzo},
  author = {Armaël Guéneau and François Pottier and Jonathan Protzenko},
  journal= {arXiv preprint arXiv:1311.7256},
  year   = {2013}
}

Related papers

View all related →
Programming Languages · Computer Science
Illustrating the Mezzo programming language
Jonathan Protzenko
2013-11-28
Programming Languages · Computer Science
Programming with Permissions in Mezzo
Jonathan Protzenko, François Pottier
2013-12-02
Computation and Language · Computer Science
MeMo: Towards Language Models with Associative Memory Mechanisms
Fabio Massimo Zanzotto, Elena Sofia Ruzzetti, Giancarlo A. Xompero, Leonardo Ranaldi +5
2025-06-23
Programming Languages · Computer Science
Transforming while/do/for/foreach-Loops into Recursive Methods
David Insa, Josep Silva
2014-10-22
Software Engineering · Computer Science
Cesno: The Initial Design of a New Programming Language
Ozelot Vanilla, Jingxiang Yu, Hemn Barzan Abdalla
2024-09-24
Programming Languages · Computer Science
New developments in parsing Mizar
Czeslaw Bylinski, Jesse Alama
2014-01-07
Distributed, Parallel, and Cluster Computing · Computer Science
MISO: An intermediate language to express parallel and dependable programs
Alcides Fonseca, Raul Barbosa
2016-08-23
Logic in Computer Science · Computer Science
Iteration in ACL2
Matt Kaufmann, J Strother Moore
2020-09-30
Artificial Intelligence · Computer Science
A Compilation Target for Probabilistic Programming Languages
Brooks Paige, Frank Wood
2014-07-11
Programming Languages · Computer Science
Revisiting Occurrence Typing
Giuseppe Castagna, Victor Lanvin, Mickaël Laurent, Kim Nguyen
2022-02-25
Software Engineering · Computer Science
Towards Enabling Overture as a Platform for Formal Notation IDEs
Luís Diogo Couto, Peter Gorm Larsen, Miran Hasanagić, Georgios Kanakis +2
2015-08-18
Computation and Language · Computer Science
Iterated Decomposition: Improving Science Q&A by Supervising Reasoning Processes
Justin Reppert, Ben Rachbach, Charlie George, Luke Stebbing +3
2023-01-06
Computation and Language · Computer Science
Modeling language contact with the Iterated Learning Model
Seth Bullock, Conor Houghton
2024-08-27
Logic in Computer Science · Computer Science
A Metalanguage for Guarded Iteration
Sergey Goncharov, Christoph Rauch, Lutz Schröder
2021-05-25
Logic in Computer Science · Computer Science
Compositional Reasoning for Side-effectful Iterators and Iterator Adapters
Aurel Bílý, Jonas Hansen, Peter Müller, Alexander J. Summers
2022-10-19
Programming Languages · Computer Science
Optimizing the For loop: Comparison of For loop and micro For loop
Rishabh Jain, Sakshi Gupta
2014-10-15
Machine Learning · Statistics
Iterative Machine Teaching
Weiyang Liu, Bo Dai, Ahmad Humayun, Charlene Tay +4
2017-11-21
Data Analysis, Statistics and Probability · Physics
Improved iterative Bayesian unfolding
G. D'Agostini
2010-10-05
Programming Languages · Computer Science
Trading off Complexity for Expressiveness in Programming Languages: Visions and Preliminary Experiences
Vincenzo De Florio, Chris Blondia
2019-10-09
Computation and Language · Computer Science
Type Arithmetics: Computation based on the theory of types
Oleg Kiselyov
2007-05-23
Artificial Intelligence · Computer Science
A Survey for Solving Mixed Integer Programming via Machine Learning
Jiayi Zhang, Chang Liu, Junchi Yan, Xijun Li +2
2022-03-08
Machine Learning · Computer Science
Iteration Head: A Mechanistic Study of Chain-of-Thought
Vivien Cabannes, Charles Arnal, Wassim Bouaziz, Alice Yang +2
2024-10-29
Software Engineering · Computer Science
Model Reuse through Hardware Design Patterns
Fernando Rincon, Francisco Moya, Jesus Barba, Juan Carlos Lopez
2011-11-09
Machine Learning · Computer Science
How Developers Iterate on Machine Learning Workflows -- A Survey of the Applied Machine Learning Literature
Doris Xin, Litian Ma, Shuchen Song, Aditya Parameswaran
2018-05-21
Artificial Intelligence · Computer Science
Another Turn, Better Output? A Turn-Wise Analysis of Iterative LLM Prompting
Shashidhar Reddy Javaji, Bhavul Gauri, Zining Zhu
2025-09-16