Problem Set 6

home work!

Topic Type System for Explicit Initialization

Due Date 18 March 2016 by 1pm

Purpose This problem set asks you to model a language with explicit initialization of tuples.


Problem 1 See here.

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 6.rkt Redex file.

The README.txt file must start with the following lines:

  ;; NameOfPartner1, NameOfPartner2


appropriately instantiated of course.

Solutions to part (g) should be submitted on paper. Slip them under my office door by 1pm on March 18th.