'
Verified Functional Algorithms
Volume 3
Verified Functional Algorithms
Andrew W. Appel
with contributions from
Andrew Tolmach and Michael Clarkson
Read
Download
Version 1.4 (11 May 2020, Coq 8.9.1)
