Sökt på: Böcker av daniel p. friedman
totalt 18 träffar

The Reasoned Schemer
Extending the functional language Scheme with logical constructs in order to help the functional programmer think logically and the logic programmer think functionally.The goal of …

The Little Prover
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.The …

Seasoned Schemer
The notion that "e;thinking about computing is one of the most exciting things the human mind can do"e; sets both The Little Schemer (formerly known as The Little LISPer) …

Essentials of Programming Languages, third edition

Reasoned Schemer, 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.The goal …

Essentials of Programming Languages
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 …