Thinking Functionally with Haskell

Thinking Functionally with Haskell

Richard Bird

Description:

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