' Verified Functional Algorithms
Andrew W. Appel



with contributions from
Andrew Tolmach and Michael Clarkson

Version 1.5 (2021-08-23 17:44, Coq 8.12 or later)