Functional Data Structures and Algorithms. A Proof Assistant Approach
Summary
This book introduces data structures and algorithms for functional languages with a focus on verification. It provides machine-checked proofs using Isabelle and analyzes running time, connecting correctness with performance.