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

Machine Problem 3 (MP3) MP3 has you implement the unification algorithm. NOTE: The grader has just been posted IMPORTANT:Make sure that you read the README file in the grader bundle. This file contains important information.

Files - mp3-sol.ml - mp3-sol.pdf - mp3.pdf (v1.2) slightly updated explanation of eliminate; submit written problems as comments in mp3.ml - mp3grader.tar.gz