21 citations · 21 across the 1 of their papers we have counts for
2 papers
cs.PL2022★ 21 cited
Choice Trees: Representing Nondeterministic, Recursive, and Impure Programs in Coq
Nicolas Chappe, Paul He, Ludovic Henrio +2
This paper introduces Choice Trees (ctrees), a monad for modeling nondeterministic, recursive, and impure programs in Coq. Inspired by Xia et al.'s itrees, this novel data structur…
cs.PL2019
Proceedings 12th Interaction and Concurrency Experience
Massimo Bartoletti, Ludovic Henrio, Anastasia Mavridou +1
This volume contains the proceedings of ICE'19, the 12th Interaction and Concurrency Experience, which was held in Copenhagen, Denmark on the 20th and 21st of June 2019, as a satel…