Sökt på: Böcker av Daniel P. Friedman
totalt 17 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 …
A History of Arthurian Scholarship
A survey of critical attention devoted to Arthurian matters. This book offers the first comprehensive and analytical account of the development of Arthurian scholarship from the …
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 …
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 …
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 …