Semantics Engineering with PLT Redex, by
Matthias Felleisen,
Robby Findler, and
Matthew Flatt.
| Part I: Reduction Semantics | 1 |
| | Chapter 1: | Semantics via Syntax | 5 |
| | Chapter 2: | Analyzing Syntactic Semantics | 13 |
| | Chapter 3: | The λ-Calculus | 23 |
| | Chapter 4: | ISWIM | 45 |
| | Chapter 5: | An Abstract Syntax Machine | 65 |
| | Chapter 6: | Abstract Register Machines | 89 |
| | Chapter 7: | Tail Calls and More Space Savings | 107 |
| | Chapter 8: | Control: Errors, Exceptions, and Continuations | 115 |
| | Chapter 9: | State: Imperative Assignment | 145 |
| | Chapter 10: | Simply Typed ISWIM | 175 |
| Part II: PLT Redex | 201 |
| | Chapter 11: | The Basics | 205 |
| | Chapter 12: | Variables and Meta-functions | 217 |
| | Chapter 13: | Layered Development | 227 |
| | Chapter 14: | Testing | 237 |
| | Chapter 15: | Debugging | 245 |
| | Chapter 16: | Case Study 1: Order of Evaluation | 259 |
| | Chapter 17: | Case Study 2: Continuations as Values | 271 |
| | Chapter 18: | Typesetting | 277 |
| | Chapter A: | Appendix: A Tour of DrScheme | 297 |
| Part III: Applications | 307 |
| | Chapter 19: | | Modular ACL2 | | Carl Eastlund, Northeastern University |
| 311 |
| | Chapter 20: | | Modeling Scheme Macros | | Martin Gasbichler, Zühlke Engineering AG |
| 327 |
| | Chapter 21: | | A Model of Java/Scheme Interoperability | | Kathryn E. Gray, University of Utah |
| 357 |
| | Chapter 22: | | Implementing Hidden Type Variables in Fortress | | Joe Hallett, Boston University; Eric Allen, Sun Microsystems, Inc.; Sukyoung Ryu, Sun Microsystems, Inc. |
| 381 |
| | Chapter 23: | | Type Checking and Inference via Reductions | | George Kuan, University of Chicago |
| 403 |
| | Chapter 24: | | Topsl: DSEL as Multi-language System | | Jacob Matthews, University of Chicago |
| 429 |
| | Chapter 25: | | Prototyping Nested Schedulers | | Mike Rainey, University of Chicago |
| 459 |
