The textbooks are:
The main (approximately 80% of the time) instructional delivery strategy for this course is lectures. Discussions based on student presentations, videos, quizzes or in-class exercises, and a possible invited talk will make up the remaining 20% of time. The first day of classes is Friday, August 21, 2009. The last day to withdraw without failure is Thursday, October 1, 2009. The last day of classes is Friday, December 4, 2009. The final exam for the course is Tuesday, December 8, 2009, at 9am in the classroom (SWGR 2A21). This is the regularly scheduled time for courses taught from 1010 to 1100 on Mondays, Wednesdays and Fridays. (See the university exam schedule.)
Please see elsewhere in the web pages for the course for additional administrative information.
Week | Lecture Topics |
---|---|
1: August 21 | Introduction (Ch.1 [T]) |
2: August 24, 26, 28 | Syntax and Lexical Analysis (Ch.2 and Sections 3.1-3.2 [T]) |
3: August 31, September 2, 4 | Names and Types (Chs.4 and 5 [T]) |
4: September 9, 11 | The Clite Type System and Operational Semantics (Ch.6 and 7 [T]) |
5: September 14, 16, 18 | Denotational and Axiomatic Semantics (Chs. 7, 18, and notes) |
6: September 21, 23, 25 | Midterm; Functions and Memory Management (Chs. 10 and 11 [T]) |
7: September 28, 30; October 2 | Functional Programming and the FP Language (Ch.14 [T], and video) |
8: October 5, 7 | Haskell ([U]) |
9: October 12, 14, 16 | Haskell (ctd.) |
10: October 19, 21, 23 | Haskell (ctd.) |
11: October 26, 28, 30 | Haskell (ctd.) |
12: November 3, 5, 7 | Haskell (ctd.) and possible Second Midterm |
13: November 9, 11, 13 | Logic Programming (Ch.15 [T]) |
14: November 16, 18, 20 | Logic Programming (ctd.) |
15: November 23 | Student Presentations |
16: November 30; December 2, 4 | Student Presentations |