' Verified Functional Algorithms
Andrew W. Appel



with contributions from
Andrew Tolmach and Michael Clarkson

Version 1.4 (2020-08-07 17:12, Coq 8.9.1 or later)