An Introduction to Functional Programming Through Lambda Calculus

Greg Michaelson (Autor)

Buch | Softcover

336 Seiten

2011
Dover Publications Inc. (Verlag)
9780486478838 (ISBN)

Artikel merken

Well-respected text for computer science students provides an accessible introduction to functional programming. Cogent examples illuminate the central ideas, and numerous exercises offer reinforcement. Includes solutions. 1989 edition.

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.

Gregory Michaelson is a Professor of Computer Science and Mathematics at Heriot-Watt University in Edinburgh, Scotland.

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

Erscheint lt. Verlag	26.8.2011
Sprache	englisch
Maße	167 x 234 mm
Gewicht	505 g
Themenwelt	Mathematik / Informatik ► Informatik ► Programmiersprachen / -werkzeuge
	Informatik ► Software Entwicklung ► Objektorientierung
	Mathematik / Informatik ► Mathematik
ISBN-13	9780486478838 / 9780486478838
Zustand	Neuware