Schedule subject to change as course progresses. |
Lecture slides for not yet given lectures are preliminary, and may change. |
Aug 28 |
Course Introduction, Introduction to Ocaml, Environments |
slides (PPT)
(full sized PDF)
(6 up PDF)
extra material (PPT)
(full sized PDF)
(6 up PDF)
|
Aug 30 |
Ocaml Boolean, Tuples, Functions, Closures, |
slides continued from last time,
|
|
Sep 4 |
Closures and Evaluation of Function Application |
slides
(PPT)
(full sized PDF)
(6 up PDF)
|
Sep 6 |
Higher-Order Functions, Recursion, Lists |
slides continued from last time,
|
|
Sep 11 |
Structural Recursion, Forms of Recursion and Recursive Operators |
slides (PPT)
(full sized PDF)
(6 up PDF)
|
Sep 13 |
Tai Recursion |
slides continued from last time.
|
|
Sep 18 |
Continuation Passing Style |
slides (PPT)
(full sized PDF),
(6 up PDF)
|
Sep 20 |
User Defined Types in Ocaml, Recursive Data Types |
slides (PPT)
(full sized PDF),
(6 up PDF),
|
|
Sep 25 |
Guest Lecturer, Gil Tene |
slides (full sized PDF)
(6 up PDF)
|
Sep 27 |
User Defined Types in Ocaml, Recursive Data Types |
slides (PPT)
(full sized PDF),
(6 up PDF),
|
|
Oct 2 |
Type Derivation |
slides (PPT)
(full sized PDF)
(6 up PDF)
|
Oct 4 |
Unification |
slides (PPT)
(full sized PDF)
(6 up PDF)
|
|
Oct 9 |
MIDTERM 1 |
|
Oct 11 |
Polymorphic Type Inference |
slides (PPT)
(full sized PDF)
(6 up PDF-)
|
|
Oct 16 |
Poly Type Inf cont, Unification |
slides (PPT)
(full sized PDF)
(6 up PDF-)
|
Oct 18 |
|
slides
(PPT)
(full sized PDF)
(6 up PDF)
extra material: slides
(PPT)
(full sized PDF)
(6 up PDF)
|
|
Oct 23 |
Regular Expressions, OCamllex |
slides
(PPT)
(full sized PDF)
(6 up PDF)
|
Oct 25 |
BNF Grammars, Parse Trees, Ambiguous Grammars |
slides (PPT)
(Full PDF)
(Six Up PDF)
|
|
Oct 30 |
LR Parsing |
(PPT)
(full sized PDF)
(6 up PDF)
|
Nov 1 |
Ambiguous Grammars, Recursive Descent Parsing |
slides (PPT)
(Full PDF)
(Six Up PDF)
|
|
Nov 6 |
Recursive Descent |
slides (PPT)
(Full PDF)
(Six Up PDF)
|
Nov 8 |
Natural Semantics |
slides (PPT)
(Full PDF)
(Six Up PDF)
|
|
Nov 13 |
MIDTERM 2 |
|
Nov 15 |
Transition Semantics |
slides (PPT)
(Full PDF)
(Six Up PDF)
|
|
Nov 20 |
Thanksgiving |
|
Nov 22 |
Thanksgiving |
|
|
Nov 27 |
Transition Semantics Ex., Intro to Lambda Calculus |
slides (PPT)
(Full PDF)
(Six Up PDF)
|
Nov 29 |
Evaluation in the Lambda Calculus |
slides (PPT)
(Full PDF)
(Six Up PDF)
|
|
Dec 4 |
Intro to Axiomatic Semantics |
slides (PPT)
(Full PDF)
(Six Up PDF)
|
Dec 6 |
Lambda Calculus - Data Representation |
slides (PPT)
(Full PDF)
(Six Up PDF)
|
|
Dec 11 |
Review |
|
|
Dec 14 |
FINAL (7:00pm - 10:00pm) |
|