Paul Laforgue

According to our database, Paul Laforgue authored at least 2 papers between 2017 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2025

Constructive characterisations of the must-preorder for asynchrony.

Giovanni Bernardi, Ilaria Castellani, Paul Laforgue, Léo Stefanesco

CoRR, January, 2025

2017

Copattern matching and first-class observations in OCaml, with a macro.

Paul Laforgue, Yann Régis-Gianas

Proceedings of the 19th International Symposium on Principles and Practice of Declarative Programming, Namur, Belgium, October 09, 2017