عنوان
پدید آورنده
موضوع
رده
QA76.6 .M4854 2011eb
QA76
.
6
.
M4854
2011eb
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
0486280292
(Number (ISBN
9780486280295
Erroneous ISBN
0486478831
Erroneous ISBN
9780486478838
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
An introduction to functional programming through Lambda calculus /
General Material Designation
[Book]
First Statement of Responsibility
Greg Michaelson.
EDITION STATEMENT
Edition Statement
Dover ed.
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Mineola, N.Y. :
Name of Publisher, Distributor, etc.
Dover Publications,
Date of Publication, Distribution, etc.
©2011.
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
1 online resource (xv, 320 pages)
SERIES
Series Title
Dover books on mathematics
GENERAL NOTES
Text of Note
Originally published: Workingham, England : Addison-Wesley, 1989.
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Includes bibliographical references and index.
CONTENTS NOTE
Text of Note
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
SUMMARY OR ABSTRACT
Text of Note
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.
OTHER EDITION IN ANOTHER MEDIUM
Title
Introduction to functional programming through Lambda calculus.
International Standard Book Number
9780486478838
TOPICAL NAME USED AS SUBJECT
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.
(SUBJECT CATEGORY (Provisional
COM-- 051230
COM-- 051390
COM-- 051440
DEWEY DECIMAL CLASSIFICATION
Number
005
.
1/14
Edition
22
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA76
.
6
Book number
.
M4854
2011eb
PERSONAL NAME - PRIMARY RESPONSIBILITY
Michaelson, Greg,1953-
ORIGINATING SOURCE
Date of Transaction
20200822114433.0
Cataloguing Rules (Descriptive Conventions))
pn
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب [Book]
Y
