Tác giả: Daniel P. Friedman

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.This book …

…

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

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

…

…

…

…

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, and are …

…

…