Programming Language Theory Exam