Hasty Briefsbeta

Functional Data Structures and Algorithms: a Proof Assistant Approach

14 days ago
https://fdsa-book.net/
Copy Link
  • #algorithms
  • #functional programming
  • #data structures
  • Introduction to data structures and algorithms for functional languages.
  • Focuses on proofs, covering functional correctness and running time analysis.
  • Uses inductive proofs about functional programs and their running time functions.
  • All proofs are machine-checked by the proof assistant Isabelle.
  • PDF contains links to corresponding Isabelle theories.
  • Book is designed to evolve over time; contributions are welcome.
AboutLogin