Get the latest tech news
Functional Data Structures and Algorithms: a Proof Assistant Approach
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.
None
Or read this on Hacker News
