Week |
Date |
Topic |
Notes |
1 |
Jan. 21st |
|
|
|
Jan. 23rd |
Introduction & Grammars |
|
2 |
Jan. 28th |
Small-Step Operational Semantics |
TAPL 3.5 until page 37 before theorem 3.5.4 |
|
Jan. 30th |
Evaluation Contexts & Error Contexts |
notes1, notes2 |
3 |
Feb. 4th |
Big-Step Operational Semantics |
TAPL Excercise 3.5.17 | additional notes |
|
Feb. 6th |
Lambda-Calculus |
TAPL 5 and 5.1 | additional notes |
4 |
Feb. 11th |
Type Systems |
TAPL 8 to 8.2, TAPL 9 to 9.2 and TAPL 11 |
|
Feb. 13th |
Type Systems |
TAPL 8 to 8.2, TAPL 9 to 9.2 and TAPL 11 |
5 |
Feb. 18th |
Monday Schedule |
|
|
Feb. 20th |
Type Soundness |
TAPL 8.3, [WTLaS] Sections 2, 3 and 4 |
6 |
Feb. 25th |
Midterm Review |
|
|
Feb. 27th |
Midterm at Olsen Hall 401. Time: 3:30PM - 4:45PM |
|
7 |
Mar. 3rd |
Type Soundness |
TAPL 8.3, [WTLaS] Sections 2, 3 and 4 |
|
Mar. 5th |
OCaml |
[OCaml] Chapter 1, except Section 1.7 |
8 |
Mar. 10th |
|
|
|
Mar. 12th |
|
|
9 |
Mar. 17th |
University Closed |
[OCaml] Chapter 1, except Section 1.7 |
|
Mar. 19th |
OCaml |
[OCaml] Chapter 1, except Section 1.7 |
10 |
Mar. 24th |
OCaml |
[OCaml] Chapter 1, except Section 1.7 |
|
Mar. 26th |
OCaml |
[OCaml] Chapter 1, except Section 1.7 |
11 |
Mar. 31st |
OCaml |
Parser example |
|
|
Apr. 2th |
OCaml |
Interpreter example (incomplete) |
|
12 |
Apr. 7th |
Subtyping |
TAPL 15 to 15.2, TAPL 16 to 16.3 |
|
Apr. 9th |
Subtyping |
arrays are invariant, algo for subtyping |
13 |
Apr. 14th |
Language Modeling Test |
|
|
Apr. 16th |
Pattern-Matching |
Contained in the material in [OCaml] |
14 |
Apr. 21st |
Languages with State |
TAPL 13 to 13.3 |
|
|
Apr. 23rd |
|
|
15 |
Apr. 28th |
Abstract Machines |
notes |
|
Apr. 30th |
Final Review |
|
|
|
Final Exam. Time: TBD, Room: TBD |
|