Nicolas Chappe | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

Steve Zdancewic
13 publications
Ludovic Henrio
10 publications
Paul He
5 publications
Yannick Zakowski
3 publications
Matthieu Moy
2 publications
Amaury Maillé
1 publication
Hadrien Renaud
1 publication

research

∙ 11/13/2022

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

This paper introduces Choice Trees (ctrees), a monad for modeling nondet...

0 Nicolas Chappe, et al. ∙

research

∙ 07/15/2021

An Optimised Flow for Futures: From Theory to Practice

A future is an entity representing the result of an ongoing computation....

0 Nicolas Chappe, et al. ∙

Success!

An error occurred