PLT
NU PLT
NU PRL
 
Books
  HtDP
  HtDP/3e
  On HtDP
  Sem. Eng.
  Realm of Racket
  Prog. Lang.
 
Research
  Publications
  Presentations
  JFP
  NSF: Gradual
 
Teaching
Programming
 
Thoughts
Professional Coordinates
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 Feb 3 16:47:20 EST 2025generated with Racket