APA (7th ed.) Citation

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.) Citation

DANVY, 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.) Citation

DANVY, 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.