CS 421: Programming Languages and Compilers
Lectures from Fall 2014
Video of class lectures

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

code (OCaml CODE) (SHELL)

Aug 27 Ocaml Boolean, Tuples, Functions, Closures slides continued from last time
 
Sep 1 Closures and Evaluation of Function Application slides (PPT) (full sized PDF) (6 up PDF)
Sep 3 Closures and Evaluation of Function Application slides continued from last time
 
Sep 8 Order of Evaluation in OCaml, Higher-Order Functions slides (PPT) (full sized PDF) (6 up PDF)
Sep 10 Lists, List Pattern Matching, Recursion over Lists slides continued from last time
 
Sep 15 Higher-Order Recursive Operators, Continuation Passing Style slides (PPT) (full sized PDF), (6 up PDF)
Sep 17 Continuation Passing Style slides continued from last time
 
Sep 22 User Defined Types in Ocaml, Recursive Data Types slides (PPT) (full sized PDF), (6 up PDF)
Sep 24 User Defined Types in Ocaml, Recursive Data Types slides (PPT) (full sized PDF) (6 up PDF)
 
Sep 29 Type Derivation slides (PPT) (full sized PDF) (6 up PDF)
Oct 1 Polymorphic Type Derivation slides (PPT) (full sized PDF) (6 up PDF)
 
Oct 6 Polymorphic Type Deriviation cont slides continued from last time
Oct 8 MIDTERM 1
 
Oct 13 Type Inference slides (PPT) (full sized PDF) (6 up PDF)
Oct 15 Unification slides (PPT) (full sized PDF) (6 up PDF)
 
Oct 20 Regular Expressions, OCamllex slides (PPT) (full sized PDF) (6 up PDF)
Oct 22 OCamllex, BNF Grammars, Parse Trees slides (PPT) (Full PDF) (Six Up PDF)
 
Oct 27 Parsing, Ambiguous Grammars slides (PPT) (PDF)(full sized PDF) (6 up PDF)
Oct 29 Ambiguous Grammars, Recursive Descent Parsing slides (PPT) (full sized PDF) (6 up PDF)
 
Nov 3 LR Parsing, Action and Goto Tables slides (PPT) (Full PDF) (Six Up PDF)
Nov 5 Natural Semantics slides (PPT) (Full PDF) (Six Up PDF)
 
Nov 10 Natural Semantics, Transition Semantics slides (PPT) (Full PDF) (Six Up PDF)
Nov 12 MIDTERM 2 (optional lecture Rec Dec Parsing) slides (PPT) (Full PDF) (Six Up PDF)
 
Nov 17 Transition Semantics, Intro to Lambda Calculus slides (PPT) (Full PDF) (Six Up PDF)
Nov 19 Intro to Lambda Calculus slides (PPT) (Full PDF) (Six Up PDF)
 
Nov 24 Thanksgiving
Nov 26 Thanksgiving
 
Dec 1 Intro to Axiomatic Semantics slides (PPT) (Full PDF) (Six Up PDF)
Dec 3 Intro to Axiomatic Semantics(cont) slides (PPT) (Full PDF) (Six Up PDF)
extra slides (PPT) (Full PDF) (Six Up PDF)
 
Dec 9 Review
 
Dec 16 FINAL (8:00am - 11:00am)