CS 421: Programming Languages and Compilers main  ::  policy  ::  lectures  ::  mps  ::  exams  ::  unit project  ::  resources  ::  faq

Homework 10 (HW10) HW10 gives you practice filling out proof trees for evaluation and type derivation. It is due in class on Tuesday, April 20.

Files - hw10.pdf - hw10-sol.pdf