Email Gateway (May 10 2021 at 06:51): Email Gateway (May 10 2021 at 06:51):From: Tobias Nipkow <nipkow@in.tum.de>
Functional Algorithms, Verified!
http://functional-algorithms-verified.org/
This book is an introduction to data structures and algorithms for functional
languages, with a focus on proofs. It covers both functional correctness and
running time analysis. It does so in a unified manner with inductive proofs
about functional programs and their running time functions.
All proofs have been machine-checked by the proof assistant Isabelle.
Enjoy!
Tobias
smime.p7s
Last updated: Jan 04 2025 at 20:18 UTC