CS 421: Programming Languages and Compilers
main  ::  policy  ::  lectures  ::  mps  ::  exams  ::  unit project  ::  resources  ::  faq
Lectures from Fall 2010
Lectures from Spring 2011
Lectures from Summer 2011
Lectures from Fall 2011
Lectures from Spring 2012
Video of class lectures
Lecture Schedule for Fall 2012
slides (PPT)(PDF)
Schedule subject to change as course progresses.
Lecture slides for not yet given lectures are preliminary, and may change.
May 29 Course Introduction & Introduction to Ocaml slides (PPT) (PDF) code (OCaml)

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

May 31 Recursion Patterns slides (PPT) (PDF)
 
Jun 4 Recursion Patterns/CPS slides (PPT) (PDF) and (PPT) (PDF)
Jun 5 Control Flow, Continuations, Continuation Passing Style slides (PPT) (PDF)
Jun 7 User Defined Types in Ocaml slides (PPT) (PDF), code (OCAML)
 
Jun 11 Records, and Type Systems slides (PPT) (PDF), and (PPT) (PDF)
Jun 12 Type Systems slides (PPT) (PDF) and (PPT) (PDF)
Jun 14 Polymorphic Types slides (PPT) (PDF)
 
Jun 18 Type Inferencing slides (PPT) (PDF)
Jun 19 Unification slides (PPT) (PDF)
Jun 21 DFAs and Lexing slides (PPT) (PDF)
 
Jun 25 ocamllex and Parsing slides (PPT) (PDF) and (PPT) (PDF)
Jun 26 Grammars and LL slides (PPT) (PDF) and (PPT) (PDF)
Jun 28 LL and (G)LR parsing slides (PPT) (PDF) and (PPT) (PDF)
 
Jul 2 MIDTERM 1
Jul 3 LR Parsing slides (PPT) (PDF)
Jul 5 Big-step Semantics slides (PPT) (PDF)
 
Jul 9 Small-step Semantics slides (PPT) (PDF) and (PPT) (PDF)
Jul 10 Intro to Lambda Calculus slides (PPT) (PDF) and (PPT) (PDF)
Jul 12 Lambda Calculus and Data types slides (PPT) (PDF) and (PPT) (PDF)
 
Jul 16 Lambda Calculus Data Types and Recursion slides (PPT) (PDF)
Jul 17 Lambda Calculus and Hoare Logic slides (PPT) (PDF) and (PPT) (PDF)
Jul 19 Hoare Logic slides (PPT) (PDF)
 
Jul 23 MIDTERM 2
Jul 24 Objects
Jul 26 Lambda Calculus - Data Representation slides (PPT) (Full PDF) (Six Up PDF)
 
Jul 30 Intro to Axiomatic Semantics slides (PPT) (Full PDF) (Six Up PDF)
Jul 31 Axiomatic Semantics - Example slides (PPT) (Full PDF) (Six Up PDF)
Aug 2 Review
 
Aug 4 FINAL 1-3PM