An Introduction to Functional Programming Through Lambda Calculus
Published on 26. August 2011
Book
Paperback/Softback
336 pages
978-0-486-47883-8 (ISBN)
Description
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.
More details
Language
English
Place of publication
United States
Dimensions
Height: 234 mm
Width: 167 mm
Thickness: 17 mm
Weight
505 gr
ISBN-13
978-0-486-47883-8 (9780486478838)
Copyright in bibliographic data and cover images is held by Nielsen Book Services Limited or by the publishers or by their respective licensors: all rights reserved.
Schweitzer Classification
Person
Gregory Michaelson is a Professor of Computer Science and Mathematics at Heriot-Watt University in Edinburgh, Scotland.
Content
Preface
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
Answers to exercises
Bibliography
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
Answers to exercises
Bibliography
Index