The Tortoise and the Hare Algorithm for Finite Lists, Compositionally
Article in ACM Transactions on Programming Languages and Systems (March 2023)
The most recent citing publications are shown below. View all 45 publications that cite this research output on Dimensions.
Article in ACM Transactions on Programming Languages and Systems (March 2023)
Book chapter (August 2021)
Conference proceeding (November 2020)