'
Verified Functional Algorithms
Volume 3
Verified Functional Algorithms
Andrew W. Appel
with contributions from
Andrew Tolmach and Michael Clarkson
Read
Download
Version 1.5.4 (2023-10-01 07:23, Coq 8.17 or later)
