| Schedule subject to change as course progresses. |
|---|
| Lecture slides for not yet given lectures are preliminary, and may change. |
|---|
| Day |
Date |
Topic |
Slides and Code |
| 1 | Aug 28 |
Course Introduction, Introduction to Ocaml, Environments |
Slides (PPT)
code (OCaml CODE)
(SHELL)
|
|---|
| 2 | Aug 30 |
Ocaml Boolean, Tuples, Functions, Environments, Closures |
Slides (PPT)
|
|---|
| |
|---|
| 3 | Sep 4 |
Closures and Evaluation of Function Application, Order of Evaluation in OCaml |
Slides
(PPT)
(full sized PDF)
Notes on Ocaml Evaluation
|
|---|
| 4 | Sep 6 |
Higher-Order Functions, Pattern Matching and Recursion over Lists |
slides continued from Lecture 3
|
|---|
| |
|---|
| 5 | Sep 11 |
Lists, List Pattern Matching, Recursion over Lists, Structural Recursion |
Slides (PPT)
(full sized PDF)
|
|---|
| 6 | Sep 13 |
Forms of Recursion and Higher-Order Recursive Operators |
slides continued from Lecture 5
|
|---|
| |
|---|
| 7 | Sep 18 |
Continuations and Continutation Passing Style |
Slides (PPT)
(PDF)
|
|---|
| 8 | Sep 20 |
Continuation Passing Style (CPS) Transformation |
slides continued from Lecture 7
|
|---|
| |
|---|
| 9 | Sep 25 |
User Defined Algebraic Data Types in Ocaml, Data Constructors and Pattern Matching |
slides (PPT)
(PDF)
|
| 10 | Sep 27 |
Recursive Data Types in OCaml |
slides continued from Lecture 9 |
| |
|---|
| 11 | Oct 2 |
Types and Type Systems |
oldslides (PPT)
(full sized PDF)
(6 up PDF)
|
|---|
| 12 | Oct 4 |
MIDTERM 1 (No lecture; Midterm Oct 2-4) |
Covers through Lecture 10 |
|---|
| |
|---|
| 13 | Oct 9 |
Monomorhic and Polymorphic Type Derivation |
slides continued from Lecture 11
|
|---|
| 14 | Oct 11 |
Type Inference |
slides continued from Lecture 12 |
| |
|---|
| 15 | Oct 16 |
Type Inference |
oldslides
(PPT)
(full sized PDF)
(6 up PDF)
|
| 16 | Oct 18 |
Unification |
slides continued from Lecture 15
|
| |
|---|
| 17 | Oct 23 |
Regular Expressions, OCamllex |
oldslides (PPT)
(Full PDF)
(Six Up PDF)
|
|---|
| 18 | Oct 25 |
OCamllex, BNF Grammars, Parse Trees |
oldslides (cont) (PPT)
(Full PDF)
(Six Up PDF)
|
|---|
| |
|---|
| 19 | Oct 30 |
Parsing, Ambiguous Grammars |
oldslides (PPT)
(PDF)(full sized PDF)
(6 up PDF)
|
|---|
| 20 | Nov 1 |
LR Parsing, Action and Goto Tables |
oldslides (PPT)
(full sized PDF)
(6 up PDF)
|
| |
|---|
| 21 | Nov 6 |
Ambiguous Grammars, Recursive Descent Parsing |
oldslides (PPT)
(Full PDF)
(Six Up PDF)
|
| 22 | Nov 8 |
MIDTERM 2 (No lecture; Midterm Nov 6-8) |
Covers Lecture 11 through parsing in Lecture 21 |
| |
|---|
| 23 | Nov 13 |
Dynamic Semantics - Natural Semantics |
slides continued from last time
|
| 24 | Nov 15 |
Transition Semantics |
slides continued from Lecture 22
oldslides (PPT)
(Full PDF)
(Six Up PDF)
|
|---|
| |
|---|
| Nov 20 |
Thanksgiving |
| Nov 22 |
Thanksgiving |
|
| |
|---|
| 25 | Nov 27 |
Intro to Lambda Calculus |
oldslides (PPT)
(Full PDF)
(Six Up PDF)
|
|
| 26 | Nov 29 |
Evaluation in the Lambda Calculus |
slides continued from Lecture 25 |
| |
|---|
| 27 | Dec 4 |
Intro to Axiomatic Semantics |
oldslides (PPT)
(Full PDF)
(Six Up PDF)
|
| 28 | Dec 6 |
Intro to Axiomatic Semantics(cont) |
slides continued from Lecture 27
|
| |
|---|
| 29 | Dec 11 |
Review |
|
|---|
| |
|---|
| Dec 17 |
FINAL (8:00am - 11:00am) |
Cummulative, with more weight on the last third |
|---|