• It will take place on May 6, at 6:50-8:40pm, in 101 Osmond and 110 Osmond.
• The class will be split among the two rooms as follows: Students whose family name begins with a letter included between "A" and "L" should go to 101 Osmond. The others ("M"-"Z") should go to  110 Osmond.
• The exam will be comprehensive, i.e. will be about all the topics studied during the course.
• For preparation, please consult the "Exercises for the Final Exam".
• During the exam you can consult the LN (mine and yours), the solutions of previous assignments and midterms, the solutions of  the "Exercises for the Final Exams", and Sethi's book (please bring your own copy).
• Bonus for "no answer" :  If you don't know how to answer one question, you may want to give no answer (by leaving blank the space for the solution). For each question to which you give no answer you will receive a bonus of 10% of the maximum score for that question.

• It will take place on April 6, at 8:15-10:15pm in 110 Wartik.
• Both I and the TA will be in class during the exam, ready to answer all your questions "Exercises for The exam will be based on ML: equivalence of declarations, simple programs, derivation of types of given expressions.
• Reference material: All what you need to study for the exam is:
• Chapter 9 of the book of Sethi
• past assignments about ML
• lecture notes on Type derivation
P.s. of course, this should not be interpreted as discuraging you from studying more material, like the one which is suggested in the web page of the lecture schedule. Studying more always helps.
• You are recommended to do the exercises of Chapter 9 of Sethi's book as a preparation to the programming exercises in the Midterm
• During the exam you can consult the LN (mine and yours), the solutions of previous assignments, and Sethi's book (please bring your own copy).

• It will take place on February 23, at 8:15-10:15pm in 110 Wartik.
• Both I and the TA will be in class during the exam, ready to answer all your questions about the interpretation of text, etc.
• The exam will be based on the material I teached until Wednesday 18, inclusive. There will be no Home Assignment that week (i.e. no assignment will be given on Wednesday 18. The next one will be distributed on Wednesday 25).
• Reference material: All what you need to study for the exam is:
• Lectures 1-13: my Lecture Notes
• Lectures 14, 15: Sethi 4.3, 4.4, and 4.7
• Lectures 16, 17: Sethi 5.1-5.4
P.s. of course, this should not be interpreted as discuraging you from studying more material, like the one which is suggested in the web page of the lecture schedule. Studying more always helps.
• It will be an open note/book exam. Namely, you can consult the LN and Sethi's book if you like (please bring your own copy)

       _________________

        env' |-  2  eval 2^~
________________________
 

  env' |- x = 2  eval_D env"