Richard Bird takes a radical approach to algorithm design, namely, design by calculation. These 30 short chapters each deal with a particular programming proble

Ideal for learning or reference, this book explains the five main principles of algorithm design and their implementation in Haskell.

This book describes data structures and data structure design techniques for functional languages.

This book introduces fundamental techniques for reasoning mathematically about functional programs. Ideal for a first- or second-year undergraduate course.

This newly expanded and updated second edition of the best-selling classic continues to take the "mystery" out of designing algorithms, and analyzing their effi