(Hardback, third edition)

A new edition of a textbook that provides students with a deep, working understanding of the essential concepts of programming languages, completely revised, with significant new material.

(Paperback)

"A gentle but detailed introduction to some of the algorithmic ideas behind machine learning"--

(Paperback)

An introduction to writing proofs about computer programs, written in an accessible question-and-answer style, complete with step-by-step examples and a simple proof assistant.

(Paperback, fourth edition)

This text is a companion volume to "The Seasoned Schemer" and includes thoughts for anyone who wants to know what computing is about and to learn the physics of cyberspace. The information is presented in a humorous and easy-to-grasp fashion.

(Paperback)

An introduction to dependent types, demonstrating the most beautiful aspects, one step at a time.

(Paperback, second edition)

A new edition of a book, written in a humorous question-and-answer style, that shows how to implement and use an elegant little programming language for logic programming.

(Paperback, second edition)

This text introduces computing as an extension of arithmetic and algebra. It introduces programs as recursive functions and briefly discusses the limits of what computers can do. The authors use the programming language SCHEME to illustrate these abstract ideas.