书评

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