Essentials of Programming Languages

Daniel P. Friedman, Mitchell Wand — 2008

1. Inductive sets of data 2. Data abstraction 3. Expressions 4. State 5. Continuation-passing interpreters 6. Continuation-passing style 7. Types 8. Modules 9. Objects and classes.