Homework: Functional languages
Tiger book: 15.1, 15.3