' Verified Functional Algorithms
Andrew W. Appel



with contributions from
Andrew Tolmach and Michael Clarkson

Version 2.0 (2026-01-07 13:37, Coq 9.0.0 or later)