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