Essentials

Try to solve the exercises in Essentials of Programming Languages (3rd Edition).

Run

The codes are interpreted with DrRacket, the language is "Teaching Languages" -> "Advanced Student".

Interpreters

• Expressions
  • LET
  • PROC
  • LETREC
  • LETREC (Lexical Addression)
• State
  • EXPLICIT-REFS
  • IMPLICIT-REFS (Expression)
  • IMPLICIT-REFS (Statement)
  • MUTABLE-PAIRS
  • CALL-BY-REFERENCE
• Continuation-Passing Interpreters
  • Continuation-Passing
  • Trampolined
  • Imperative
  • Exceptions
  • THREADS
• Continuation-Passing Style
  • CPS-OUT
  • CPS-IN
• Types
  • CHECKED
  • INFERRED
• Modules
  • SIMPLE-MODULES
  • OPAQUE-TYPES
  • PROC-MODULES
• Objects and Classes
  • [CLASSES]
  • [TYPED-OO]

Contents

Chapter 1 Inductive Sets of Data

| | | | | | | | | |
:-:|:-:|:-:|:-:|:-:|:-:|:-:|:-:|:-:|:-:|:-: 1.01 | 1.02 | 1.03 | 1.04 | 1.05 | 1.06 | 1.07 | 1.08 | 1.09 | 1.10 1.11 | 1.12 | 1.13 | 1.14 | 1.15 | 1.16 | 1.17 | 1.18 | 1.19 | 1.20 1.21 | 1.22 | 1.23 | 1.24 | 1.25 | 1.26 | 1.27 | 1.28 | 1.29 | 1.30 1.31 | 1.32 | 1.33 | 1.34 | 1.35 | 1.36| | | |

Chapter 2 Data Abstraction

| | | | | | | | | |
:-:|:-:|:-:|:-:|:-:|:-:|:-:|:-:|:-:|:-:|:-: 2.01 | 2.02 | 2.03 | 2.04 | 2.05 | 2.06 | 2.07 | 2.08 | 2.09 | 2.10 2.11 | 2.12 | 2.13 | 2.14 | 2.15 | 2.16 | 2.17 | 2.18 | 2.19 | 2.20 2.21 | 2.22 | 2.23 | 2.24 | 2.25 | 2.26 | 2.28 | 2.29 | 2.30 | 2.31

Chapter 3 Expressions

| | | | | | | | | |
:-:|:-:|:-:|:-:|:-:|:-:|:-:|:-:|:-:|:-:|:-: 3.01 | 3.02 | 3.03 | 3.06 | 3.07 | 3.08 | 3.09 | 3.10 | 3.12 | 3.13 3.14 | 3.15 | 3.16 | 3.17 | 3.18 | 3.19 | 3.20 | 3.21 | 3.22 | 3.23 3.24 | 3.25 | 3.26 | 3.27 | 3.28 | 3.29 | 3.30 | 3.31 | 3.32 | 3.33 3.34 | 3.35 | 3.36 | 3.37 | 3.38 | 3.39 | 3.40 | 3.41 | 3.42 | 3.43 3.44| | | | | | | | |

Chapter 4 State

| | | | | | | | | |
:-:|:-:|:-:|:-:|:-:|:-:|:-:|:-:|:-:|:-:|:-: 4.01 | 4.02 | 4.03 | 4.04 | 4.05 | 4.06 | 4.07 | 4.08 | 4.09 | 4.10 4.11 | 4.12 | 4.13 | 4.14 | 4.15 | 4.16 | 4.17 | 4.18 | 4.21 | 4.22 4.23 | 4.24 | 4.25 | 4.26 | 4.27 | 4.28 | 4.29 | 4.30 | 4.31 | 4.32 4.33 | 4.34 | 4.35 | 4.36 | 4.37 | 4.38 | 4.39 | 4.40 | 4.41 | 4.42

Chapter 5 Continuation-Passing Interpreters

| | | | | | | | | |
:-:|:-:|:-:|:-:|:-:|:-:|:-:|:-:|:-:|:-:|:-: 5.01 | 5.02 | 5.03 | 5.04 | 5.05 | 5.06 | 5.07 | 5.08 | 5.09 | 5.10 5.11 | 5.12 | 5.13 | 5.16 | 5.17 | 5.18 | 5.19 | 5.20 | 5.23 | 5.24 5.25 | 5.26 | 5.28 | 5.29 | 5.30 | 5.31 | 5.35 | 5.36 | 5.37 | 5.38 5.42 | 5.45 | 5.46 | 5.47 | 5.48 | 5.50 | 5.52 | 5.53 | 5.54 | 5.55 5.56 | 5.58| | | | | | | |

Chapter 6 Continuation-Passing Style

| | | | | | | | | |
:-:|:-:|:-:|:-:|:-:|:-:|:-:|:-:|:-:|:-:|:-: 6.01 | 6.02 | 6.03 | 6.04 | 6.05 | 6.06 | 6.07 | 6.09 | 6.10 | 6.11 6.12 | 6.13 | 6.14 | 6.15 | 6.20 | 6.21 | 6.22 | 6.23 | 6.24 | 6.25 6.28 | 6.29 | 6.30| | | | | | |

Chapter 7 Types

| | | | | | | | | |
:-:|:-:|:-:|:-:|:-:|:-:|:-:|:-:|:-:|:-:|:-: 7.01 | 7.02 | 7.04 | 7.05 | 7.06 | 7.07 | 7.08 | 7.09 | 7.10 | 7.11 7.12 | 7.13 | 7.14 | 7.15 | 7.16 | 7.17 | 7.18 | 7.19 | 7.20 | 7.21 7.22 | 7.23 | 7.24 | 7.25 | 7.26| | | | |

Chapter 8 Modules

| | | | | | | | | |
:-:|:-:|:-:|:-:|:-:|:-:|:-:|:-:|:-:|:-:|:-: 8.01 | 8.02 | 8.04 | 8.05 | 8.06 | 8.08 | 8.09 | 8.12 | 8.16 | 8.17 8.18 | 8.19 | 8.20 | 8.25| | | | | |