Nicolas Chappe

According to our database, Nicolas Chappe authored at least 3 papers between 2022 and 2023.

Collaborative distances:

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

2023

Choice Trees: Representing Nondeterministic, Recursive, and Impure Programs in Coq.

Nicolas Chappe, Paul He, Ludovic Henrio, Yannick Zakowski, Steve Zdancewic

Proc. ACM Program. Lang., January, 2023

Fic WebBoard: A Playful and Collaborative Learning Platform Built for All People and All Programming Languages.

Eddy Caron, Nicolas Chappe

Proceedings of the IEEE Frontiers in Education Conference, 2023

2022

An Optimised Flow for Futures: From Theory to Practice.

Nicolas Chappe, Ludovic Henrio, Amaury Maillé, Matthieu Moy, Hadrien Renaud

Art Sci. Eng. Program., 2022