Manyebook
Daniel P. Friedman
The Little Prover
The Little Typer
A Little Java, a Few Patterns
The Little MLer