The schedule should be regarded as a very rough plan that will almost certainly change somewhat during the course of the semester.
| Class | Date | Day | Topic | Reading | HW Out | HW Due |
| 1 | Jan 27 | T | Administrative, Introduction | |||
| 2 | Jan 29 | Th | Syntax & Semantics | |||
| 3 | Feb 3 | T | Lambda Calculus | Reade | ||
| 4 | Feb 5 | Th | Lambda Calculus | HW 1 out | ||
| Feb 6 | F | Add/drop deadline | ||||
| 5 | Feb 10 | T | Lambda Calculus | |||
| 6 | Feb 12 | Th | A Lambda Calculus Compiler | Landin | ||
| Feb 13 | F | Last day to withdraw | ||||
| 7 | Feb 17 | T | Mini ML | |||
| 8 | Feb 19 | Th | Mini ML | HW 2 out | HW 1 due | |
| 9 | Feb 24 | T | Introduction to Standard ML | Stansifer, Harper | ||
| 10 | Feb 26 | Th | Standard ML | |||
| 11 | Mar 3 | T | Standard ML | |||
| 12 | Mar 5 | Th | Types and Type Inference | Damas, Wand, Cardelli | ||
| 13 | Mar 10 | T | Types and Type Inference | |||
| 14 | Mar 12 | Th | LISP | McCarthy, McCarthy | ||
| 15 | Mar 17 | T | Definitional Interpreters | |||
| 16 | Mar 19 | Th | Definitional Interpreters | Reynolds, Reynolds | ||
| 17 | Mar 24 | T | MIDTERM EXAM | HW 3 out | HW 2 due | |
| 18 | Mar 26 | Th | Algol-like Languages | Naur, Knuth | ||
| 19 | Mar 31 | T | Algol-like languages | HW 4 out | HW 3 due | |
| 20 | Apr 2 | Th | Continuations | |||
| Apr 7 | T | SPRING BREAK -- NO CLASS | ||||
| Apr 9 | Th | SPRING BREAK -- NO CLASS | ||||
| 21 | Apr 14 | T | Denotational Semantics | Reynolds, Stoy, Tennent | ||
| 22 | Apr 16 | Th | Denotational Semantics | |||
| 23 | Apr 21 | T | Object-oriented languages | HW 5 out | HW 4 due | |
| 24 | Apr 23 | Th | ||||
| 25 | Apr 28 | T | ||||
| 26 | Apr 30 | Th | ||||
| 27 | May 5 | T | ||||
| 28 | May 7 | Th | HW 5 due | |||
| F | May 19 | Th | FINAL EXAM 11:00AM-1:30PM |