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

Practice Homework (PHW) PHW will have you practice writing proof trees, type checking, operational semantics, Hoare logic and lambda-calculus.

Files - phw.pdf - solutions