The Tortoise and the Hare Algorithm for Finite Lists, Compositionally.
| Autor: | DANVY, OLIVIER1 danvy@acm.org |
|---|---|
| Zdroj: | ACM Transactions on Programming Languages & Systems. Mar2023, Vol. 45 Issue 1, p1-35. 35p. |
| Databáze: | Business Source Ultimate |
| Externí odkaz: |
|