8/25 Michael George will give an SML tutorial in class on Monday, 8/28.
8/25 Michael Clarkson will lecture on Wednesday, 8/30, and your very own TA Benyah will lecture on Friday, 9/1 in my absence.
Please given them your rapt attention.
8/25 There will be no class on Labor Day, Monday 9/4.
9/14 The "Schedule and Lecture Notes" page had an erroneous due date for PS2 as 9/25, when it should have been 9/22. I have corrected it.
9/14 If you are interested in the more general version of the
Knaster-Tarski theorem for monotone operators on complete lattices, I have
posted some notes here.
9/15 Dexter's office hours will be MWF 11:15-12. If that
is not convenient, please contact Kelly for an appointment.
9/20 A clarification of ps2 #4 has been posted to the newsgroup.
10/5 A new version of PS3 has been posted with a correction.
Sequences c0;c1 were inadvertently omitted from the
grammar in question 3.
10/6 We will have a 2-hour evening prelim on Tuesday, 10/24,
7:30-9:30pm, Upson 205. Conflicts -> contact Kelly to schedule a
makeup.
10/16 A new version of lifting.sml for PS3 has been posted with a correction.
Clauses for Let' were omitted from the interpreter. Please see the
newsgroup for more details.
10/18 The due date of PS3 has been postponed to Monday,
10/23, 5pm at the request of several students, due to a number of
conflicts.
10/20 A sample prelim has been posted on
CMS. This year's
prelim will be open book.
10/23 CMS has been changed to allow submissions of PS3 until 10/23
at 5pm.
10/23 The version of last year's prelim that was posted to CMS
was garbled. A new version has been posted.
11/2 Class will be canceled on Friday, 11/3.
11/10 A new version of the notes for lecture 27 with a minor correction has been posted.
11/14 A new version of the notes for lecture 28 has been posted with an extra section on System F, covered at the end of last class.
11/29 The due date of PS 5 has been postponed to Monday, 4
Dec, 5pm.
12/6 Dexter will have office hours 1-3pm Thursday, 7 Dec.
He will have to cancel his office hours on Friday morning for a doctor
appointment.
