Functional programming : practice and theory

This book is more than an introduction to programming in functional languages; it introduces functional programming as a new programming paradigm. Its focus is on functional programming methodology--what it is, and how it can be used to good effect. In particular, the book shows how this methodology can be used effectively in deriving, analyzing, and proving the correctness of programs. In as much as this book emphasizes general methodology over any particular language, the author has chosen standard mathematical notation for his examples.