| Schedule subject to change as course progresses. |
|---|
| Lecture topics (in italics) for not yet given lectures are preliminary, and may change. |
|---|
| Class | Date
| Topic |
Lecture slides (pdf) |
Hwk due |
| 1
| 6/1
| Introduction to course + Basic OCaml
| pdf file
ppt file
|
|
| 2
| 6/3
| Basic OCaml (continued)
| Materials from last class
|
|
| 3
| 6/7
| Tuples, Lists and Forward Recursion
| pdf file
ppt file
|
|
| 4
| 6/8
| Forward and Tail Recursion
| Materials from last class |
|
| 5
| 6/10
| Higher Order Functions
|
ppt file
|
|
| 6
| 6/14
| Lambda Lifting and Continuations
| Materials from last class |
|
| 7
| 6/15
| Continuation Passing Style
| Materials from last class |
|
| 8
| 6/17
| Exceptions and User Defined Datatype
| ppt file (Implementing Exceptions with Continuations)
(Slides on exception are also included in the lecture notes of the previous class.)
ppt file (User Defined Datatype)
|
|
| 9
| 6/21
| Recursive Datatypes
| Materials from last class
|
|
| 10
| 6/22
| Type Systems and Type Derivation
| ppt file (Type Systems)
ppt file (Type Derivation)
|
|
| 11
| 6/24
| Type Derivation + Review Session for Midterm 1
| Materials from last class
ppt file (Summary of Topics Covered)
|
|
| 12
| 6/28
| Midterm 1
|
|
| 13
| 6/29
| Type Inference
| ppt file (Type Inference)
|
|
| 14
| 7/1
| Unification Algorithm
| ppt file (Unification Algorithm)
|
|
| 15
| 7/6
| Automata and Lexing
| ppt file (Automata and Lexing)
|
|
| 16
| 7/6
| Lexing, BNF Grammar
| Materials from last class
ppt file (Grammar)
|
|
| 17
| 7/12
| BNF Grammar
| Materials from last class
|
|
| 18
| 7/13
| Recursive Descent Parser + Review Session for Midterm 2
| Materials from last class
ppt file (Summary of Topics Covered)
|
|
| 19
| 7/15
| Midterm 2
|
|
| 20
| 7/19
| OcamlYacc, Recursive Descent Parsing
| OcamlYacc (ppt file)| (pdf file)
Recursive Descent Parsing (ppt file)|(pdf file)
|
|
| 21
| 7/20
| Recursive Descent Parsing
| Materials from last class |
|
| 22
| 7/22
| Recursive Descent Parsing
| Materials from last class
Sample Parser Program 1 (txt file)
|
|
| 23
| 7/26
| Recursive Descent Parsing
| Sample Parser Program 2 (txt file)
|
|
| 24
| 7/27
| LR Parsing, Natural Semantics
| ppt file (Parsing)
ppt file (Natural Semantics)
|
|
| 25
| 7/29
| Natural Semantics
| Materials from last class |
|
| 26
| 8/2
| Transition Semantics
| ppt file (Transition Semantics) |
|
| 27
| 8/3
| Introduction to Lambda Calculus
| ppt file (Lambda Calculus) |
|
| 28
| 8/5
| Last Class: Review Session for Final
|
|
|