MARC details
000 -LEADER |
fixed length control field |
01993cam a2200289 i 4500 |
001 - CONTROL NUMBER |
control field |
18200387 |
005 - DATE AND TIME OF LATEST TRANSACTION |
control field |
20161006150325.0 |
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
fixed length control field |
140625s2015 enka 001 0 eng |
010 ## - LIBRARY OF CONGRESS CONTROL NUMBER |
LC control number |
2014024954 |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
International Standard Book Number |
9781107452640 (pb) |
040 ## - CATALOGING SOURCE |
Original cataloging agency |
DLC |
Language of cataloging |
eng |
Transcribing agency |
DLC |
Description conventions |
rda |
Modifying agency |
DLC |
042 ## - AUTHENTICATION CODE |
Authentication code |
pcc |
050 00 - LIBRARY OF CONGRESS CALL NUMBER |
Classification number |
QA76.62 |
Item number |
.B573 2015 |
082 00 - DEWEY DECIMAL CLASSIFICATION NUMBER |
Classification number |
005.114 BIR/Thi |
084 ## - OTHER CLASSIFICATION NUMBER |
Classification number |
COM051010 |
Source of number |
bisacsh |
100 1# - MAIN ENTRY--PERSONAL NAME |
Personal name |
Bird, Richard |
245 10 - TITLE STATEMENT |
Title |
Thinking functionally with Haskell |
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) |
Place of publication, distribution, etc |
UK: |
Name of publisher, distributor, etc |
Cambridge University Press; |
Date of publication, distribution, etc |
2015 |
300 ## - PHYSICAL DESCRIPTION |
Extent |
xi, 344 p. |
Other physical details |
illustrations ; |
Dimensions |
24 cm. |
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) |
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name as entry element |
COMPUTERS / Programming Languages / General. |
Source of heading or term |
bisacsh |
906 ## - LOCAL DATA ELEMENT F, LDF (RLIN) |
a |
7 |
b |
cbc |
c |
orignew |
d |
1 |
e |
ecip |
f |
20 |
g |
y-gencatlg |
955 ## - COPY-LEVEL INFORMATION (RLIN) |
Book number/undivided call number, CCAL (RLIN) |
rk09 2014-06-25 |
Copy status, CST (RLIN) |
rk09 2014-06-25 ONIX |
Classification number, CCAL (RLIN) |
xn12 2015-02-27 1 copy rec'd., to CIP ver. |
952 ## - LOCATION AND ITEM INFORMATION (KOHA) |
Koha normalized classification for sorting |
005_114000000000000_BIRTHI |
Koha itemnumber |
158354 |