عنوان
پدید آورنده
موضوع
رده
QA76.6 .M4854 2011eb
QA76
.
6
.
M4854
2011eb
کتابخانه
محل استقرار
0486280292
9780486280295
0486478831
9780486478838
An introduction to functional programming through Lambda calculus /
[Book]
Greg Michaelson.
Dover ed.
Mineola, N.Y. :
Dover Publications,
©2011.
1 online resource (xv, 320 pages)
Dover books on mathematics
Originally published: Workingham, England : Addison-Wesley, 1989.
Includes bibliographical references and index.
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.
0
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.
Introduction to functional programming through Lambda calculus.
9780486478838
Functional programming (Computer science)
Lambda calculus.
COMPUTERS-- Programming-- Open Source.
COMPUTERS-- Software Development & Engineering-- General.
COMPUTERS-- Software Development & Engineering-- Tools.
Functional programming (Computer science)
Lambda calculus.
MATHEMATICS-- General.
COM-- 051230
COM-- 051390
COM-- 051440
005
.
1/14
22
QA76
.
6
.
M4854
2011eb
Michaelson, Greg,1953-
20200822114433.0
pn
مطالعه متن کتاب [Book]
Y
