Book Cover
E-book
Author Michaelson, Greg, 1953-

Title An introduction to functional programming through Lambda calculus / Greg Michaelson
Edition Dover ed
Published Mineola, N.Y. : Dover Publications, ©2011

Copies

Description 1 online resource (xv, 320 pages)
Series Dover books on mathematics
Dover books on mathematics.
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
Summary 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
Notes Originally published: Workingham, England : Addison-Wesley, 1989
Bibliography Includes bibliographical references and index
Notes Print version record
Subject Functional programming (Computer science)
Lambda calculus.
COMPUTERS -- Programming -- Open Source.
COMPUTERS -- Software Development & Engineering -- Tools.
COMPUTERS -- Software Development & Engineering -- General.
MATHEMATICS -- General.
Functional programming (Computer science)
Lambda calculus
Form Electronic book
ISBN 9780486280295
0486280292