- arith
- Chapter 3: Untyped Arithmetic Expressions
- Chapter 4: An ML Implementation of Arithmetic Expressions
- fulluntyped
- Chapter 5: The Untyped Lambda-Calculus
- Chapter 6: Nameless Representation of Terms
- untyped
- Chapter 7: An ML Implementation of the Lambda-Calculus
- tyarith
- Chapter 8: Typed Arithmetic Expressions
- simplebool
- Chapter 10: An ML Implementation of Simple Types
- fullsimple
- Chapter 9: Simply Typed Lambda-Calculus
- Chapter 11: Simple Extensions