Olivier Danvy: The Tortoise and the Hare Algorithm for Finite Lists, Compositionally. ACM Trans. Program. Lang. Syst. 45(1): 1:1-1:35 (2023)