2.3 machine
Refer to the exercise policy for details.
Implement a machine (e.g. CEK) to evaluate ISWIM with a small set of
primitive operations for basic arithmetic.
| ▼ | 2 | Lectures, Assignments, and Exercises |
| 2.1 | basics |
| 2.2 | iswim |
| 2.3 | machine |
| 2.4 | gc |
| 2.5 | control |
| 2.6 | state |
| 2.7 | ty1 |
| 2.8 | ty2 |
| 2.9 | Project 1: Paper |
| 2.10 | Project 1: Presentation |
| 2.11 | Midterm |
| 2.12 | Project 2: Paper |
| 2.13 | Project 2: Presentation |
| 2.14 | Final |