| 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 |
|
|---|