CS 421: Programming Languages and Compilers
Lectures from Fall 2011
Lectures from Spring 2012
Lectures from Summer 2012
Video of class lectures

Lecture Schedule for Fall 2012
Schedule subject to change as course progresses.
Lecture slides for not yet given lectures are preliminary, and may change.
Aug 28 Course Introduction, Introduction to Ocaml, Environments slides (PPT) (full sized PDF) (6 up PDF)

extra material (PPT) (full sized PDF) (6 up PDF)

Aug 30 Ocaml Boolean, Tuples, Functions, Closures, slides continued from last time,
 
Sep 4 Closures and Evaluation of Function Application slides (PPT) (full sized PDF) (6 up PDF)
Sep 6 Higher-Order Functions, Recursion, Lists slides continued from last time,
 
Sep 11 Structural Recursion, Forms of Recursion and Recursive Operators slides (PPT) (full sized PDF) (6 up PDF)
Sep 13 Tai Recursion slides continued from last time.
 
Sep 18 Continuation Passing Style slides (PPT) (full sized PDF), (6 up PDF)
Sep 20 User Defined Types in Ocaml, Recursive Data Types slides (PPT) (full sized PDF), (6 up PDF),
 
Sep 25 Guest Lecturer, Gil Tene slides (full sized PDF) (6 up PDF)
Sep 27 User Defined Types in Ocaml, Recursive Data Types slides (PPT) (full sized PDF), (6 up PDF),
 
Oct 2 Type Derivation slides (PPT) (full sized PDF) (6 up PDF)
Oct 4 Unification slides (PPT) (full sized PDF) (6 up PDF)
 
Oct 9 MIDTERM 1
Oct 11 Polymorphic Type Inference slides (PPT) (full sized PDF) (6 up PDF-)
 
Oct 16 Poly Type Inf cont, Unification slides (PPT) (full sized PDF) (6 up PDF-)
Oct 18 slides (PPT) (full sized PDF) (6 up PDF)

extra material: slides (PPT) (full sized PDF) (6 up PDF)

 
Oct 23 Regular Expressions, OCamllex slides (PPT) (full sized PDF) (6 up PDF)
Oct 25 BNF Grammars, Parse Trees, Ambiguous Grammars slides (PPT) (Full PDF) (Six Up PDF)
 
Oct 30 LR Parsing (PPT) (full sized PDF) (6 up PDF)
Nov 1 Ambiguous Grammars, Recursive Descent Parsing slides (PPT) (Full PDF) (Six Up PDF)
 
Nov 6 Recursive Descent slides (PPT) (Full PDF) (Six Up PDF)
Nov 8 Natural Semantics slides (PPT) (Full PDF) (Six Up PDF)
 
Nov 13 MIDTERM 2
Nov 15 Transition Semantics slides (PPT) (Full PDF) (Six Up PDF)
 
Nov 20 Thanksgiving
Nov 22 Thanksgiving
 
Nov 27 Transition Semantics Ex., Intro to Lambda Calculus slides (PPT) (Full PDF) (Six Up PDF)
Nov 29 Evaluation in the Lambda Calculus slides (PPT) (Full PDF) (Six Up PDF)
 
Dec 4 Intro to Axiomatic Semantics slides (PPT) (Full PDF) (Six Up PDF)
Dec 6 Lambda Calculus - Data Representation slides (PPT) (Full PDF) (Six Up PDF)
 
Dec 11 Review
 
Dec 14 FINAL (7:00pm - 10:00pm)