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

Homework 10 (HW10) HW10 will give you practice writing proof trees for evaluation and type checking using different strategies. The HW is due on Thursday and should be turned in in class.

Files - hw10.pdf (v1.0) - hw10-sol.pdf