' Verified Functional Algorithms
Andrew W. Appel



with contributions from
Andrew Tolmach and Michael Clarkson

Version 1.5.5 (2024-08-25 14:53, Coq 8.19.2 or later)