Introduction to Functional Programming
Material type:
TextPublication details: Prentice Hall, 1988Description: 296ISBN: - 134841972
| Item type | Current library | Call number | Copy number | Status | Barcode | |
|---|---|---|---|---|---|---|
Books
|
MC Athens Campus Library | 005.114 BIR (Browse shelf(Opens below)) | 2 | Available | 9780000011381 |
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.
There are no comments on this title.