Schedule subject to change as course progresses. |
Lecture slides for not yet given lectures are preliminary, and may change. |
Aug 27 |
Course Introduction, Introduction to Ocaml, Environments |
slides (PPT)
(full sized PDF)
(6 up PDF)
extra material (PPT)
(full sized PDF)
(6 up PDF)
|
Aug 29 |
Ocaml Boolean, Tuples, Functions, Closures, |
slides continued from last time,
|
|
Sep 3 |
Closures and Evaluation of Function Application |
slides
(PPT)
(full sized PDF)
(6 up PDF)
|
Sep 5 |
Higher-Order Functions, Recursion, Lists |
slides continued from last time,
|
|
Sep 10 |
Structural Recursion, Forms of Recursion and Recursive Operators |
slides (PPT)
(full sized PDF)
(6 up PDF)
|
Sep 12 |
Tail Recursion |
slides continued from last time.
|
|
Sep 17 |
Continuation Passing Style |
slides (PPT)
(full sized PDF),
(6 up PDF)
|
Sep 19 |
Continuation Passing Style |
slides (PPT)
(full sized PDF),
(6 up PDF)
|
|
Sep 24 |
User Defined Types in Ocaml, Recursive Data Types |
slides (PPT)
(full sized PDF),
(6 up PDF)
|
Sep 26 |
User Defined Types in Ocaml, Recursive Data Types |
slides (PPT)
(full sized PDF)
(6 up PDF)
|
|
Oct 1 |
Type Derivation |
slides (PPT)
(full sized PDF)
(6 up PDF)
|
Oct 3 |
Polymorphic Type Inference |
slides (PPT)
(full sized PDF)
(6 up PDF)
|
|
Oct 8 |
Polymorphic Type Inference cont |
slides continued from last time |
Oct 10 |
MIDTERM 1 |
|
|
Oct 15 |
Type Inference |
slides (PPT)
(full sized PDF)
(6 up PDF)
|
Oct 17 |
Unification |
slides (PPT)
(full sized PDF)
(6 up PDF)
|
|
Oct 22 |
Regular Expressions, OCamllex |
slides
(PPT)
(full sized PDF)
(6 up PDF)
|
Oct 24 |
OCamllex, BNF Grammars, Parse Trees |
slides (PPT)
(Full PDF)
(Six Up PDF)
|
|
Oct 29 |
Parsing, Ambiguous Grammars |
slides (PPT)
(PDF)(full sized PDF)
(6 up PDF)
|
Oct 31 |
LR Parsing |
slides (PPT)
(full sized PDF)
(6 up PDF)
|
|
Nov 5 |
Action and Goto Tables,Recursive Descent |
slides (PPT)
(Full PDF)
(Six Up PDF)
|
Nov 7 |
Natural Semantics |
slides (PPT)
(Full PDF)
(Six Up PDF)
|
|
Nov 12 |
Transition Semantics |
slides (PPT)
(Full PDF)
(Six Up PDF)
|
Nov 14 |
MIDTERM 2 |
|
|
Nov 19 |
Transition Semantics Ex., Intro to Lambda Calculus |
slides (PPT)
(Full PDF)
(Six Up PDF)
|
|
Nov 21 |
Evaluation in the Lambda Calculus |
slides (PPT)
(Full PDF)
(Six Up PDF)
|
|
Nov 27 |
Thanksgiving |
Nov 28 |
Thanksgiving |
|
|
Dec 3 |
Lambda Calculus - Evaluation Strategies |
slides (PPT)
(Full PDF)
(Six Up PDF)
|
Dec 5 |
Intro to Axiomatic Semantics |
slides (PPT)
(Full PDF)
(Six Up PDF)
extra slides (PPT)
(Full PDF)
(Six Up PDF)
|
|
Dec 10 |
Review |
|
|
Dec 17 |
FINAL (1:30pm - 4:30pm) |
|