PLT Redex & SEwPR


Semantics Engineering with PLT Redex, by
Matthias Felleisen, Robby Findler, and Matthew Flatt.

Part I: Reduction Semantics1
     Chapter 1: Semantics via Syntax5
     Chapter 2: Analyzing Syntactic Semantics13
     Chapter 3: The λ-Calculus23
     Chapter 4: ISWIM45
     Chapter 5: An Abstract Syntax Machine65
     Chapter 6: Abstract Register Machines89
     Chapter 7: Tail Calls and More Space Savings107
     Chapter 8: Control: Errors, Exceptions, and Continuations115
     Chapter 9: State: Imperative Assignment145
     Chapter 10: Simply Typed ISWIM175
Part II: PLT Redex201
     Chapter 11: The Basics205
     Chapter 12: Variables and Meta-functions217
     Chapter 13: Layered Development227
     Chapter 14: Testing237
     Chapter 15: Debugging245
     Chapter 16: Case Study 1: Order of Evaluation259
     Chapter 17: Case Study 2: Continuations as Values271
     Chapter 18: Typesetting277
     Chapter A: Appendix: A Tour of DrScheme297
Part III: Applications307
     Chapter 19:
Modular ACL2
Carl Eastlund, Northeastern University
     Chapter 20:
Modeling Scheme Macros
Martin Gasbichler, Zühlke Engineering AG
     Chapter 21:
A Model of Java/Scheme Interoperability
Kathryn E. Gray, University of Utah
     Chapter 22:
Implementing Hidden Type Variables in Fortress
Joe Hallett, Boston University; Eric Allen, Sun Microsystems, Inc.; Sukyoung Ryu, Sun Microsystems, Inc.
     Chapter 23:
Type Checking and Inference via Reductions
George Kuan, University of Chicago
     Chapter 24:
Topsl: DSEL as Multi-language System
Jacob Matthews, University of Chicago
     Chapter 25:
Prototyping Nested Schedulers
Mike Rainey, University of Chicago