The Little Schemer
The Seasoned Schemer
A Little Java
The Little MLer
How to Design Programs
Semantics Engineering
The Reasoned Schemer
The Little Prover
The Little Typer

The Little Prover


It is an honor to host this page of Dan's latest Little book here.

    MIT PressAmazon.com

    last updated on Tue May 1 16:13:41 EDT 2018generated with Racket