Nicolas Chappe -

Not registered as user yet

Name:Nicolas Chappe

Contributions

POPL 2023	Author of Choice Trees: Representing Nondeterministic, Recursive, and Impure Programs in Coq within the POPL-track
‹Programming› 2022	Author of An Optimised Flow for Futures: From Theory to Practice within the Research Papers-track