The Tortoise and the Hare Algorithm for Finite Lists, Compositionally.

Saved in:

Bibliographic Details
Title:	The Tortoise and the Hare Algorithm for Finite Lists, Compositionally.
Authors:	DANVY, OLIVIER¹, danvy@acm.org
Source:	ACM Transactions on Programming Languages & Systems; Mar2023, Vol. 45 Issue 1, p1-35, 35p
Database:	Applied Science & Technology Source

Description
ISSN:	01640925
DOI:	10.1145/3564619