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

Machine Problem 4 (MP4) MP4 will have you write unification for a simple type system.

Files - mp4.pdf - mp4grader.tar.gz (v1.1) - mp4-sol.ml