An Introduction to Functional Programming Through Lambda Calculus - Greg Michaelson

An Introduction to Functional Programming Through Lambda Calculus by Greg Michaelson is a well-regarded text that introduces key concepts and techniques in functional programming. This paperback edition from Dover Publications Inc presents the material in an accessible, largely nontechnical style.

Key details

• Author: Greg Michaelson
• Format: Paperback
• Pages: 336
• Publisher: Dover Publications Inc
• Publication date: 26 August 2011
• ISBN: 9780486478838

Synopsis

Designed for students of mathematics and computer science, this introduction explains functional programming through the lens of lambda calculus, keeping the approach as straightforward as possible. It assumes no prior knowledge of either mathematics or functional programming, making it suitable for readers coming to the subject for the first time.

Examples are used to clarify central ideas, while exercises appear throughout to consolidate understanding. All problems are supplied with complete solutions. The text is based on a 1989 edition.

Rackhams Reference : F2TWRYNPSU