The Little Typer

Daniel P. Friedman

评分 9.5分

An introduction to dependent types, demonstrating the most beautiful aspects, one step at a time. A program's type describes its behavior. Dependent types are a first-class part of a language,

The Little Prover

Daniel P. Friedman

评分 8.8分

[FROM www.amazon.com]: The Little Prover introduces inductive proofs as a way to determine facts about computer programs. It is written in an approachable, engaging style of question-and-

Essentials of Programming Languages, 3rd Edition

Daniel P. Friedman

评分 9.2分

This textbook offers a deep understanding of the essential concepts of programming languages. The approach is analytic and hands-on. The text uses interpreters, written in Scheme, to express t

The Little Schemer - 4th Edition

Daniel P. Friedman

评分 9.3分

This delightful book leads you through the basic elements of programming in Scheme (a Lisp dialect) via a series of dialogues with well-chosen questions and exercises. Besides teaching Scheme,

The Seasoned Schemer

Daniel P. Friedman

评分 9.0分

drawings by Duane Bibbyforeword and afterword by Guy L. Steele Jr.The notion that "thinking about computing is one of the most exciting things the human mind can do" sets both The Little Schem

The Reasoned Schemer

Daniel P. Friedman

评分 8.7分

The goal of The Reasoned Schemer is to help the functional programmer think logically and the logic programmer think functionally. The authors of The Reasoned Schemer believe that logic programming