CS 7520 Homework I-6.3-4

Part 1

Exercise I.6.5 in the book.

Part 2

Exercise I.6.7 in the book.

Part 3

Start with ck.rkt, and add cek-red to implement the CEK reduction rules. The starting file includes a grammar and meta-functions for environments, but you will need to extend the grammar with κ-bar for CEK continuations.

Instead of including side conditions in the machine to ensure that a value is not a variable, simply remove X from the grammar of V.