' Verified Functional Algorithms
Andrew W. Appel



with contributions from
Andrew Tolmach and Michael Clarkson

Version 2.0 (2026-01-19 13:53, Coq 9.0.0 or later)