Personal information

No personal information available

Activities

Works (2)

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

Proceedings of the ACM on Programming Languages
2023-01-09 | Journal article
Contributors: Nicolas Chappe; Paul He; Ludovic Henrio; Yannick Zakowski; Steve Zdancewic
Source: check_circle
Crossref

An Optimised Flow for Futures: From Theory to Practice

The Art, Science, and Engineering of Programming
2021-07-15 | Journal article
Part of ISSN: 2473-7321
Contributors: Nicolas Chappe; Ludovic Henrio; Amaury Maillé; Matthieu Moy; Hadrien Renaud
Source: Self-asserted source
Nicolas Chappe