Princeton University
COS 510: Programming Languages

Homework 8

Fill in the proofs in Smallstep.v and Types.v, at each place marked "Exercise".

Add a README comment at the top describing who you helped (or got help from), and what kind of help.

Upload your assignment at right.