CS 4960-01 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.ss, 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.


Last update: Tuesday, February 17th, 2009
mflatt@cs.utah.edu