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 
HigherOrder 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 HigherOrder 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 24) 
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 68) 
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 