Functional Algorithms, Verified

Author(s): Tobias Nipkow et al.

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.

< Back to Titles in Development List