Project for Theory of Programming Languages