APA (7th ed.) Citation

CHAPPE, N., HE, P., HENRIO, L., IOANNIDIS, E., ZAKOWSKI, Y., & ZDANCEWIC, S. (2025). Choice trees: Representing and reasoning about nondeterministic, recursive, and impure programs in Rocq. Journal of Functional Programming, 35, 1. https://doi.org/10.1017/S0956796825100105

Chicago Style (17th ed.) Citation

CHAPPE, NICOLAS, PAUL HE, LUDOVIC HENRIO, ELEFTHERIOS IOANNIDIS, YANNICK ZAKOWSKI, and STEVE ZDANCEWIC. "Choice Trees: Representing and Reasoning About Nondeterministic, Recursive, and Impure Programs in Rocq." Journal of Functional Programming 35 (2025): 1. https://doi.org/10.1017/S0956796825100105.

MLA (9th ed.) Citation

CHAPPE, NICOLAS, et al. "Choice Trees: Representing and Reasoning About Nondeterministic, Recursive, and Impure Programs in Rocq." Journal of Functional Programming, vol. 35, 2025, p. 1, https://doi.org/10.1017/S0956796825100105.