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 |
Browsing MC Athens Campus Library shelves Close shelf browser (Hides shelf browser)
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.