Introduction to functional programming through Lambda calculus (Record no. 55931)
[ view plain ]
000 -LEADER | |
---|---|
fixed length control field | 01231 a2200217 4500 |
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
fixed length control field | 220117b |||||||| |||| 00| 0 eng d |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
International Standard Book Number | 9780486478838 |
082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER | |
Classification number | 005.114 |
Item number | MIC |
100 ## - MAIN ENTRY--PERSONAL NAME | |
Personal name | Michaelson, Greg |
245 ## - TITLE STATEMENT | |
Title | Introduction to functional programming through Lambda calculus |
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) | |
Name of publisher, distributor, etc | Dover Publications, |
Date of publication, distribution, etc | 2011. |
Place of publication, distribution, etc | New York: |
300 ## - PHYSICAL DESCRIPTION | |
Extent | ix,320p.; |
Dimensions | 23cm |
504 ## - BIBLIOGRAPHY, ETC. NOTE | |
Bibliography, etc | includes bibliography and index |
520 ## - SUMMARY, ETC. | |
Summary, etc | Functional programming is rooted in lambda calculus, which constitutes the world's smallest programming language. This well-respected text offers an accessible introduction to functional programming concepts and techniques for students of mathematics and computer science. The treatment is as nontechnical as possible, and it assumes no prior knowledge of mathematics or functional programming. Cogent examples illuminate the central ideas, and numerous exercises appear throughout the text, offering reinforcement of key concepts. All problems feature complete solutions.<br/><br/>https://store.doverpublications.com/0486478831.html |
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical term or geographic name as entry element | Functional programming |
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical term or geographic name as entry element | Lambda calculus |
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical term or geographic name as entry element | Booleans |
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical term or geographic name as entry element | Composite values |
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical term or geographic name as entry element | LISP |
942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
Source of classification or shelving scheme | Dewey Decimal Classification |
Item type | Books |
Withdrawn status | Lost status | Source of classification or shelving scheme | Damaged status | Not for loan | Collection code | Home library | Current library | Date acquired | Source of acquisition | Full call number | Barcode | Date last seen | Copy number | Cost, replacement price | Koha item type |
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Dewey Decimal Classification | General | IIT Gandhinagar | IIT Gandhinagar | 17/01/2022 | Books India | 005.114 MIC | 031108 | 17/01/2022 | 1 | 8122.85 | Books |