The Tortoise and the Hare Algorithm for Finite Lists, Compositionally. - DANVY, OLIVIER (ACM Transactions on Programming Languages & Systems, 2023)