Thinking functionally with Haskell / (Record no. 241387)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 01775cam a2200229 i 4500 |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20220518154633.0 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 140625s2015 enka 001 0 eng |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 9781107087200 (hardback) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 9781107452640 (paperback) |
| 041 ## - LANGUAGE CODE | |
| Language code of text/sound track or separate title | eng |
| 082 00 - DEWEY DECIMAL CLASSIFICATION NUMBER | |
| Classification number | 004.43Has |
| Item number | BIR |
| 100 1# - MAIN ENTRY--PERSONAL NAME | |
| Personal name | Bird, Richard, |
| 9 (RLIN) | 2542 |
| 245 10 - TITLE STATEMENT | |
| Title | Thinking functionally with Haskell / |
| Statement of responsibility, etc. | Richard Bird, University of Oxford. |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) | |
| Place of publication, distribution, etc. | Cambridge: |
| Name of publisher, distributor, etc. | Cambridge university Press, |
| Date of publication, distribution, etc. | 2016 |
| 300 ## - PHYSICAL DESCRIPTION | |
| Extent | xi, 344 pages : |
| 500 ## - GENERAL NOTE | |
| General note | Includes index. |
| 505 8# - FORMATTED CONTENTS NOTE | |
| Formatted contents note | Machine generated contents note: Preface; 1. What is functional programming?; 2. Expressions, types and values; 3. Numbers; 4. Lists; 5. A simple Sudoku solver; 6. Proofs; 7. Efficiency; 8. Pretty-printing; 9. Infinite lists; 10. Imperative functional programming; 11. Parsing; 12. A simple equational calculator; Index. |
| 520 ## - SUMMARY, ETC. | |
| Summary, etc. | "Richard Bird is famed for the clarity and rigour of his writing. His new textbook, which introduces functional programming to students, emphasises fundamental techniques for reasoning mathematically about functional programs. By studying the underlying equational laws, the book enables students to apply calculational reasoning to their programs, both to understand their properties and to make them more efficient. The book has been designed to fit a first- or second-year undergraduate course and is a thorough overhaul and replacement of his earlier textbooks. It features case studies in Sudoku and pretty-printing, and over 100 carefully selected exercises with solutions. This engaging text will be welcomed by students and teachers alike"-- |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Functional programming (Computer science) |
| 9 (RLIN) | 2156 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | COMPUTERS / Programming Languages / General. |
| 9 (RLIN) | 2543 |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Koha item type | Books |
| Withdrawn status | Lost status | Damaged status | Not for loan | Home library | Current library | Shelving location | Date acquired | Total Checkouts | Total Renewals | Full call number | Barcode | Date last seen | Date last checked out | Price effective from | Koha item type |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Department of Computer Science | Department of Computer Science | General Stacks | 03/16/2017 | 1 | 2 | 004.43Has BIR | MCS06139 | 07/09/2018 | 07/09/2018 | 03/16/2017 | Books | ||||
| Department of Computer Science | Department of Computer Science | General Stacks | 03/16/2017 | 1 | 2 | 004.43Has BIR | MCS06140 | 09/06/2018 | 09/06/2018 | 03/16/2017 | Books |