TY  - RPRT
TI  - Choice Trees: Representing Nondeterministic, Recursive, and Impure Programs in Coq
AU  - Nicolas Chappe
AU  - Paul He
AU  - Ludovic Henrio
AU  - Yannick Zakowski
AU  - Steve Zdancewic
PY  - 2022
DO  - 10.1145/3571254
UR  - https://arxiv.org/abs/2211.06863
ID  - 2211.06863
ER  -