Exercise I.6.5 in the book.
Exercise I.6.7 in the book.
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, 2009mflatt@cs.utah.edu |