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
Citace podle Chicago (17th ed.)Xia, Li-yao, Yannick Zakowski, Paul He, Chung-Kil Hur, Gregory Malecha, Benjamin C. Pierce, a 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.
Citace podle MLA (9th ed.)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.