Introduction to Functional Programming
Introduction to Functional Programming
- Prentice Hall, 1988
- 296
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.
134841972
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.
134841972