An introduction to functional programming systems using Haskell. / (Record no. 7505)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 01387nam a22002177a 4500 |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20210414114708.0 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 120425t xxu||||| |||| 00| 0 eng d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 0521277248 |
| 050 ## - LIBRARY OF CONGRESS CALL NUMBER | |
| Classification number | QA76.73.H37.D25 |
| 100 ## - MAIN ENTRY--PERSONAL NAME | |
| Personal name | Davie, Anthony J. T. |
| 245 ## - TITLE STATEMENT | |
| Title | An introduction to functional programming systems using Haskell. / |
| Statement of responsibility, etc. | Anthony J. T. Davie |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. | |
| Place of publication, distribution, etc. | Cambridge: |
| Name of publisher, distributor, etc. | Cambridge University Press, |
| Date of publication, distribution, etc. | 1992.. |
| 300 ## - PHYSICAL DESCRIPTION | |
| Extent | xiv, 290 p. : |
| Other physical details | ill.; |
| Dimensions | 24 cm. |
| 440 ## - SERIES STATEMENT/ADDED ENTRY--TITLE | |
| Title | Cambridge computer science, |
| Number of part/section of a work | 27 |
| 500 ## - GENERAL NOTE | |
| General note | Includes index. |
| 505 ## - FORMATTED CONTENTS NOTE | |
| Formatted contents note | Contents: 1. Introduction; 2. Introduction to functional programs; 3. Techniques and methods; 4. Types; 5. Lambda calculus; 6. Applicative implementation; 7. Lazy evaluation; 8. Implementation of lazy evaluation; 9. Correctness; 10. Applicative program transformation; 11. Parallel evaluation; Bibliography; Appendices; Index. |
| 520 ## - SUMMARY, ETC. | |
| Summary, etc. | An introduction to functional programming and its associated systems. A unique feature is its use of the language Haskell for teaching both the rudiments and the finer points of the functional technique. It serves as an introduction both to functional programming and Haskell. Especially valuable are the chapters on programming and implementation, along with a large number of exercises. |
| 650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Functional programming |
| 650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Haskell (Programming language) |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Source of classification or shelving scheme | Library of Congress Classification |
| Koha item type | Books |
| Withdrawn status | Lost status | Source of classification or shelving scheme | Damaged status | Not for loan | Home library | Current library | Shelving location | Date acquired | Source of acquisition | Full call number | Barcode | Date last seen | Price effective from | Koha item type |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Library of Congress Classification | WISCONSIN INTERNATIONAL UNIVERSITY COLLEGE, GHANA KUMASI LIBRARY | WISCONSIN INTERNATIONAL UNIVERSITY COLLEGE, GHANA KUMASI LIBRARY | General Stacks | 15/11/2019 | STM | QA76.73.H37.D25 | K/2422/2422/19 | 17/07/2020 | 17/07/2020 | Books |