书评
The Little Schemer
The Seasoned Schemer
The Reasoned Schemer
The Little Prover
A Little Java, A Few Patterns
Semantics Engineering with PLT Redex
A Structural Approach to Operational Semantics
Definitional Interpreters for Higher-Order Programming Languages