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

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

Files - hw9.pdf - HW9 Solutions