Schedule subject to change as course progresses. |
Lecture slides for not yet given lectures are preliminary, and may change. |
Jan 21 |
Course Introduction, Introduction to Ocaml, Environments |
slides (PPT)
(full sized PDF)
(6 up PDF)
extra material (PPT)
(full sized PDF)
(6 up PDF)
|
Jan 23 |
Ocaml Boolean, Tuples, Functions, Closures, |
slides continued from last time,
|
|
Jan 28 |
Closures and Evaluation of Function Application |
slides
(PPT)
(full sized PDF)
(6 up PDF)
|
Jan 30 |
Higher-Order Functions, Recursion, Lists |
slides continued from last time,
|
|
Feb 4 |
Structural Recursion, Forms of Recursion and Recursive Operators |
slides (PPT)
(full sized PDF)
(6 up PDF)
|
Feb 6 |
Tail Recursion |
slides continued from last time.
|
|
Feb 11 |
Continuation Passing Style (CPS) |
slides (PPT)
(full sized PDF),
(6 up PDF)
|
Feb 13 |
CPS, User Defined Types |
slides (PPT)
(full sized PDF),
(6 up PDF)
|
|
Feb 18 |
User Defined Types in Ocaml, Recursive Data Types |
slides (PPT)
(full sized PDF)
(6 up PDF)
|
Feb 20 |
User Defined Types in Ocaml, Recursive Data Types |
slides continued from last time.
|
|
Feb 25 |
Type Derivation |
slides (PPT)
(full sized PDF)
(6 up PDF)
|
Feb 27 |
Polymorphic Type Derivation |
slides (PPT)
(full sized PDF)
(6 up PDF)
|
|
Mar 4 |
Type Inference and Unification |
slides (PPT)
(full sized PDF)
(6 up PDF)
|
Mar 6 |
MIDTERM 1 |
|
|
Mar 11 |
Type Inference and Unification |
slides continued from last time.
|
Mar 13 |
Regular Expressions, OCamllex |
slides (PPT)
(full sized PDF)
(6 up PDF)
|
|
Mar 18 |
OCamllex, BNF Grammars, Parse Trees, Ambiguity |
slides (PPT)
(Full PDF)
(Six Up PDF)
|
Mar 20 |
OCamllex, BNF Grammars, Parse Trees, Ambiguity |
slides continued from last time.
|
|
Mar 25 |
Spring break |
Mar 27 |
Spring break |
|
|
Apr 1 |
LR Parsing |
slides (PPT)
(full sized PDF)
(6 up PDF)
|
Apr 3 |
Finish LR; Start Recursive Descent (LL) |
slides (PPT)
(Full PDF)
(Six Up PDF)
|
|
Apr 8 |
Finish Recursive Descent (LL) |
slides continued from last time.
|
Apr 10 |
Natural Semantics |
slides (PPT)
(Full PDF)
(Six Up PDF)
|
|
Apr 15 |
Transition Semantics |
slides (PPT)
(Full PDF)
(Six Up PDF)
|
Apr 17 |
MIDTERM 2 |
|
|
Apr 22 |
Introduction to Lambda Calculus |
slides (PPT)
(Full PDF)
(Six Up PDF)
|
|
Apr 24 |
Lambda Calculus |
slides continued from last time
|
|
|
Apr 29 |
Lambda Calculus as a Programming Language |
slides (PPT)
(Full PDF)
(Six Up PDF)
|
|
May 1 |
Lambda Calculus as a Programming Language |
slides continued from last time
|
|
|
May 6 |
Review |
|
|
May 9 |
FINAL (8:00am - 11:00am); make sure you go to the right room |
|