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 26 
Course Introduction, Introduction to Ocaml, Environments 
slides (PPT)
(full sized PDF)
(6 up PDF)
code (OCaml CODE)
(SHELL)

2  Aug 30 
Ocaml Boolean, Tuples, Functions, Closures 
slides continued from Lecture 2


 Sep 2 
Labor Day 

3  Sep 6 
Compound Data Types, Pattern Matching, Closures, and
Higherorder Functions 
slides
(PPT)
(full sized PDF)
(6 up PDF)


4  Sep 9 
Evaluating Expressions and Applications, Recursion over Lists 
slides continued from Lecture 3

5  Sep 13 
Lists, List Pattern Matching, Recursion over Lists, Structural
Recursion, HigherOrder Functions 
slides (PPT)
(full sized PDF)
(6 up PDF)


6  Sep 16 
Forms of Recursion and HigherOrder Recursive Operators 
slides continued from Lecture 5

7  Sep 20 
Continuations and Continutation Passing Style 
slides (PPT)
(full sized PDF),
(6 up PDF)


8  Sep 23 
Continuation Passing Style (CPS) Transformation 
slides continued from Lecture 7

9  Sep 27 
User Defined Types in Ocaml, Data Constructors and Pattern Matching 
slides (PPT)
(full sized PDF),
(6 up PDF)


10  Sep 30 
Recursive Data Types in OCaml 
slides continued from Lecture 9 
11  Oct 4 
Types and Type Systems 
slides (PPT)
(full sized PDF)
(6 up PDF)


12  Oct 7 
MIDTERM 1 
Covers through Lecture 10 
13  Oct 11 
Type Inference 
slides continued from Lecture 12 

14  Oct 14 
Monomorhic and Polymorphic Type Derivation 
slides continued from Lecture 11

15  Oct 18 
Type Inference 
slides
(PPT)
(full sized PDF)
(6 up PDF)


16  Oct 21 
Unification 
slides continued from Lecture 15

17  Oct 25 
Language Specification, Regular Expressions 
slides (PPT)
(Full PDF)
(Six
Up PDF)
code example.mll


18  Oct 28 
Regular Expressions, Intro to OCamllex, OCamllex Reg Exp 
slides continued from Lecture 17

19  Nov 1 
Ocamlex, Intro to BNF grammars 
slides (PPT)
(PDF)(full sized PDF)
(6 up PDF)


20  Nov 4 
BNF grammar derivations, Parse Trees 
21  Nov 8 
Ambiguous Grammars, OCamlyacc input 
slides (PPT)
(Full PDF)
(Six Up PDF)


22  Nov 11 
LR Parsing, Action and Goto Tables 
slides continued from last time

23  Nov 15 
Dynamic Semantics  Natural Semantics 
slides continued from Lecture 22
slides (PPT)
(Full PDF)
(Six Up PDF)


24  Nov 18 
MIDTERM 2 
Covers Lecture 11 through parsing in Lecture 21 
25  Nov 22 
Intro to Lambda Calculus 
slides (PPT)
(Full PDF)
(Six Up PDF)



 Nov 25 
Thanksgiving 
 Nov 29 
Thanksgiving 


26  Dec 2 
Evaluation in the Lambda Calculus 
slides continued from Lecture 25 
27  Dec 6 
Intro to Axiomatic Semantics 
slides (PPT)
(Full PDF)
(Six Up PDF)


28  Dec 9 
Intro to Axiomatic Semantics(cont) 
slides continued from Lecture 27


29  Dec 13 
Final 


 Dec 13 
FINAL (1:30pm  4:30pm) 
Cummulative, with more weight on the last third 