This is my best guess as to the rate at which we will cover material. However, schedule will be continuously revised to adjust to reality.

DateReadingTopicDue
2/91.1-2.5Overview and grammars
2/102.6-2.8More on grammars
2/113Syntax meets semantics
2/134Language systems

2/165A first look at MLHW 1
2/17A first look at ML, continued
2/18Lab 1: ML Programming
2/206Types

2/237A second look at ML
2/248Polymorphism
2/25Lab 1 continues
2/279A third look at ML

3/210Scope
3/311A fourth look at MLHW 2
3/4Lab 1 concludes
3/612.1-12.6Activation recordsLab 1

3/9extra office hour
3/10Review/catch-up (take-home exam 1 out)
3/1112.7-12.9extra office hour
3/1312.7-12.9Closures exam 1

3/1613A first look at Java
3/1714.1-14.4Memory managementHW 3
3/1815A second look at Java
3/20Lab 2Interpreter lab preview

3/23Lab 2: An Interpreter
3/24Bracha 1, 2, 3Java generics
3/25Lab 2 continues
3/27Bracha 4, 5, 6More Java generics

3/30Spring Break
3/31Spring Break
4/1Spring Break
4/3Spring Break

4/6Spring Break
4/7Lab 3Generics lab preview
4/8Lab 2 concludes HW 4
4/10Lab 3: Java GenericsLab 2

4/13Lab 3 continues
4/1416Object orientation
4/1517A third look at Java
4/17Lab 3 continuesHW 5

4/20Lab 3 continues
4/21Barbara Liskov video
4/22Lab 3 concludes
4/24Review/catch-up (take-home exam 2 out)Lab 3

4/2718Parametersexam 2
4/2819.1-19.7A first look at Prolog
4/2919.8-19.11More prolog
5/120.1-20.4Prolog implementationHW 6

5/4Lab 4: Parsing and Analysis in Prolog
5/520.5-20.7More about Prolog
5/6Lab 4 continues
5/8Lab 4 continuesHW 7

5/11Lab 4 continues
5/1221Cost models
5/1323.1-23.3Natural semantics
5/15Lab 4 concludes

5/1823.4-23.6More on semanticsHW 8
5/1924History of programming languagesLab 4
5/20Review/catch-up