112 citations · 279 across the 12 of their papers we have counts for
Showing 2013Show all
3 papers · 1 filter
cs.PL2013★ 3 cited
The ins and outs of iteration in Mezzo
Armaël Guéneau, François Pottier, Jonathan Protzenko
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 M…
cs.PL2013★ 35 cited
Programming with Permissions in Mezzo
Jonathan Protzenko, François Pottier
We present Mezzo, a typed programming language of ML lineage. Mezzo is equipped with a novel static discipline of duplicable and affine permissions, which controls aliasing and own…
cs.PL2013
Illustrating the Mezzo programming language
Jonathan Protzenko
When programmers want to prove strong program invariants, they are usually faced with a choice between using theorem provers and using traditional programming languages. The former…