"Principles of Programming Languages" school project.