| Document Type
|
:
|
BL
|
| Record Number
|
:
|
878514
|
| Main Entry
|
:
|
Michaelson, Greg,1953-
|
| Title & Author
|
:
|
An introduction to functional programming through Lambda calculus /\ Greg Michaelson.
|
| Edition Statement
|
:
|
Dover ed.
|
| Publication Statement
|
:
|
Mineola, N.Y. :: Dover Publications,, ©2011.
|
| Series Statement
|
:
|
Dover books on mathematics
|
| Page. NO
|
:
|
1 online resource (xv, 320 pages)
|
| ISBN
|
:
|
0486280292
|
|
|
:
|
: 9780486280295
|
|
|
:
|
0486478831
|
|
|
:
|
9780486478838
|
| Notes
|
:
|
Originally published: Workingham, England : Addison-Wesley, 1989.
|
| Bibliographies/Indexes
|
:
|
Includes bibliographical references and index.
|
| Contents
|
:
|
1. Introduction -- 2. Lambda Calculus -- 3. Conditions, booleans, and numbers -- 4. Recursion and arithmetic -- 5. Types -- 6. Lists and Strings -- 7. Composite values and trees -- 8. Evaluation -- 9. Functional programming in Standard ML -- 10. Functional programming and LISP.
|
| Abstract
|
:
|
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, assuming no prior knowledge of mathematics or functional programming. Numerous exercises appear throughout the text, and all problems feature complete solutions. 1989 edition.
|
| Subject
|
:
|
Functional programming (Computer science)
|
| Subject
|
:
|
Lambda calculus.
|
| Subject
|
:
|
COMPUTERS-- Programming-- Open Source.
|
| Subject
|
:
|
COMPUTERS-- Software Development Engineering-- General.
|
| Subject
|
:
|
COMPUTERS-- Software Development Engineering-- Tools.
|
| Subject
|
:
|
Functional programming (Computer science)
|
| Subject
|
:
|
Lambda calculus.
|
| Subject
|
:
|
MATHEMATICS-- General.
|
| Dewey Classification
|
:
|
005.1/14
|
| LC Classification
|
:
|
QA76.6.M4854 2011eb
|