Nicolas Chappe

Publication Activity (10 Years)

Years Active: 2021-2023
Publications (10 Years): 5

Top Topics

Theoretical Frameworks

Top Venues

Proc. ACM Program. Lang.

Art Sci. Eng. Program.

Publications

Nicolas Chappe, Paul He, Ludovic Henrio, Yannick Zakowski, Steve Zdancewic
Choice Trees: Representing Nondeterministic, Recursive, and Impure Programs in Coq. Proc. ACM Program. Lang. 7 (POPL) (2023)
Eddy Caron, Nicolas Chappe
Fic WebBoard: A Playful and Collaborative Learning Platform Built for All People and All Programming Languages. FIE (2023)
Nicolas Chappe, Paul He, Ludovic Henrio, Yannick Zakowski, Steve Zdancewic
Choice Trees: Representing Nondeterministic, Recursive, and Impure Programs in Coq. CoRR (2022)
Nicolas Chappe, Ludovic Henrio, Amaury Maillé, Matthieu Moy, Hadrien Renaud
An Optimised Flow for Futures: From Theory to Practice. Art Sci. Eng. Program. 6 (1) (2022)
Nicolas Chappe, Ludovic Henrio, Amaury Maillé, Matthieu Moy, Hadrien Renaud
An Optimised Flow for Futures: From Theory to Practice. CoRR (2021)