An introduction to functional programming through Lambda calculus (edition 2011)

by Greg Michaelson

Members	Reviews	Popularity	Average rating	Conversations
107	1	254,426	(3.57)	None
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)

▾Book information

Member:	Necronian
Title:	An introduction to functional programming through Lambda calculus
Authors:	Greg Michaelson
Info:	Mineola, N.Y. : Dover Publications, c2011.
Collections:	Your library
Rating:
Tags:	None

Work Information

An Introduction to Functional Programming Through Lambda Calculus by Greg Michaelson

all members

▾Members

Recently added by

HouseElves, Markober, dsynan, jjnash, notfound, rajivdholakia, zeh, jennifer.kortfelt, ascaland

▾Tags

▾LibraryThing Recommendations

▾Lists

None

▾Will you like it?

▾Conversations (About links)

No current Talk conversations about this book.

▾Member reviews

Excellent coverage of practical lambda calculus. However the model gets hand-wavier over time without looking at a concrete implementation. And the type checking is only ever introduced at runtime.

The last two chapters cover Standard ML and Common Lisp and don't really add much. There's little more to be wished for, perhaps in a book dedicated to Hindley-Milner unification. (

)

eatonphil | May 8, 2022 |

▾Published reviews

no reviews | add a review

▾Other authors

» Add other authors

▾Series and work relationships

Belongs to Publisher Series

Dover Books on Mathematics

International Computer Science Series

▾Awards and Honors

view history

▾Common Knowledge

You must log in to edit Common Knowledge data.

For more help see the Common Knowledge help page.

Canonical title

An Introduction to Functional Programming Through Lambda Calculus

Original title

Alternative titles

Original publication date

People/Characters

Important places

Important events

Related movies

Epigraph

Dedication

First words

Quotations

Last words

Disambiguation notice

Publisher's editors

Blurbers

Original language

Canonical DDC/MDS

Canonical LCC

▾References

References to this work on external resources.

Wikipedia in English

None

▾Book descriptions

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.

▾Library descriptions

No library descriptions found.

▾LibraryThing members' description

Book description

Haiku summary