The final exam is closed book, except for the denotational semantics handouts and the FP handout.
The exam is comprehensive but will emphasize topics not covered in previous exams. In particular, ML (in great part already covered in MT2), FP, and Prolog are topics of emphasis.
Students should study chapters 7 (Functional Programming Languages) and 8 (Logic and Rule-Based Languages) of [G&J], even though some of the material in those chapters was not covered in class.
Students should review all materials that was the subject of previous midterms.