PLT
 
Books
  HtDP
  HtDP/3e
  On HtDP
  Sem. Eng.
  Realm of Racket
  Prog. Lang.
 
Research
  Publications
  Presentations
 
Teaching
Programming
 
Thoughts
Miscellaneous
 
Family
 
Home

Books

logo
Semantics EngineeringSemantics Engineering with PLT Redex
 
How to Design Classes
How to Design Programs How to Design Programs
 
The Little Books

The Little Schemer, 4th ed

The Seasoned Schemer

A Little Java, A Few Patterns

The Little MLer

 
 
Dan's latest Little books:

The Reasoned Schemer

The Little Prover

The Little Typer

last updated on Mon Sep 21 11:44:12 CDT 2026generated with Racket