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

Open Webpage

Nicolas Chappe, Paul He, Ludovic Henrio, Yannick Zakowski, Steve Zdancewic

Published: 01 Jan 2023, Last Modified: 13 May 2025Proc. ACM Program. Lang. 2023EveryoneRevisionsBibTeXCC BY-SA 4.0