PLT
NU PLT
NU PRL
 
Books
  HtDP
  HtDP/2e
  On HtDP
  Sem. Eng.
  Realm of Racket
 
Research
  Publications
  Presentations
  JFP
  NSF: Gradual
 
Teaching
Programming
 
Thoughts
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


last updated on Fri Nov 18 08:28:35 EST 2016generated with Racket