Problem Set 5

Purpose The goal of this problem set is to formulate a standard reduction relation and explore its properties, and to get some experience with typing derivations.

Problem 1 Add a standard (left-to-right) reduction relation to your Redex model of DADL. Name the relation ->dd-std.

Formulate a redex-check conjecture that relates traverse from Problem Set 3 to the standard reduction relation.

Include the same solution for problem 2 of Problem Set 3 that you used for Problem Set 4.

Problem 2 See here. Solutions to this problem should be submitted on paper at the beginning of class on 2/27.

Deliverable Email a tar.gz bundle to my CCS email address whose name combines the last names of the pair in alphabetical order. The tar bundle must contain a single directory—with the same name as the tar ball—with a README.txt file and a 5.rkt Redex file.