TY  - BOOK
AU  - Bird Richard
AU  - Wadler Philip
TI  - Introduction to Functional Programming
SN  - 134841972
PY  - 1988///
PB  - Prentice Hall
N2  - The book emphasizes and develops important mathematical techniques for reasoning about programs and for deriving programs from their specifications.  Preface, Fundamental Concepts, Basic Data Types, Lists, Examples, Recursion and Induction, Efficiency, Infinite Lists, New Types, Trees, Bibliography, Index
ER  -