DANVY, O. (2023). The Tortoise and the Hare Algorithm for Finite Lists, Compositionally. ACM Transactions on Programming Languages & Systems, 45(1), 1. https://doi.org/10.1145/3564619
Chicago Style (17th ed.) CitationDANVY, OLIVIER. "The Tortoise and the Hare Algorithm for Finite Lists, Compositionally." ACM Transactions on Programming Languages & Systems 45, no. 1 (2023): 1. https://doi.org/10.1145/3564619.
MLA (9th ed.) CitationDANVY, OLIVIER. "The Tortoise and the Hare Algorithm for Finite Lists, Compositionally." ACM Transactions on Programming Languages & Systems, vol. 45, no. 1, 2023, p. 1, https://doi.org/10.1145/3564619.
Warning: These citations may not always be 100% accurate.