EECS 762

Programming Language Foundation I


Homework Update

I got a question on Homework question 5. You do not need to deal with any language additions other than wildcards. Also, if is not officially part of the simply typed calculus, so you needn’t include it in your proofs. Shouldn’t be too difficult if you choose to add it.