35 citations · 41 across the 3 of their papers we have counts for
3 papers
cs.LO2021★ 3 cited
Verifying an Effect-Handler-Based Define-By-Run Reverse-Mode AD Library
Paulo Emílio de Vilhena, François Pottier
We apply program verification technology to the problem of specifying and verifying automatic differentiation (AD) algorithms. We focus on define-by-run, a style of AD where the pr…
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…