EECS 662

Programming Languages


Project 2

I just pushed Project 2 to the website so you can get started on it early if you would like. I will discuss the project on Tuesday in class and we’ll decide on a due date. The project requires implementing a type checker for our language with bind in addition to two interpreters. One interpreter will use subst and the other will use an environment just like we did in class. The type checker is not difficult, but I will discuss it in class before I expect you to start working on the project.