APA (7th ed.) Citation

Xia, L., Zakowski, Y., He, P., Hur, C., Malecha, G., Pierce, B. C., & Zdancewic, S. (2020). Interaction trees: Representing recursive and impure programs in Coq. Proceedings of ACM on programming languages, 4(POPL), 1-32. https://doi.org/10.1145/3371119

Chicago Style (17th ed.) Citation

Xia, Li-yao, Yannick Zakowski, Paul He, Chung-Kil Hur, Gregory Malecha, Benjamin C. Pierce, and Steve Zdancewic. "Interaction Trees: Representing Recursive and Impure Programs in Coq." Proceedings of ACM on Programming Languages 4, no. POPL (2020): 1-32. https://doi.org/10.1145/3371119.

MLA (9th ed.) Citation

Xia, Li-yao, et al. "Interaction Trees: Representing Recursive and Impure Programs in Coq." Proceedings of ACM on Programming Languages, vol. 4, no. POPL, 2020, pp. 1-32, https://doi.org/10.1145/3371119.