CS 421: Programming Languages and Compilers
main  ::  policy  ::  lectures  ::  mps  ::  exams  ::  unit project  ::  resources  ::  faq
Lectures from Summer 2008
Lectures from Spring 2008
Video of class lectures
Lecture Schedule for Fall 2008
slides (PPT)(full sized PDF)(6 up PDF-)
Schedule subject to change as course progresses.
Lecture slides for not yet given lectures are preliminary, and may change.
Aug 26 Course Introduction & Introduction to Ocaml slides (PPT) (full sized PDF) (6 up PDF) code (OCaml CODE) (SHELL)

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

Aug 28 Introduction to Ocaml, Tuples, Lists, Intro to Recursion slides continued from last time,
 
Sep 2 Recursion Patterns slides (PPT) (full sized PDF) (6 up PDF)
Sep 4 Higher-Order Functions slides continued from last time,
 
Sep 9 Higher-Order Functions (cont.) slides (PPT) (full sized PDF) (6 up PDF) code (OCaml CODE)
Sep 11 Control Flow, Continuations slides (revised) (PPT) (full sized PDF) (6 up PDF) code (OCAML TEXT)
 
Sep 16 Continuation Passing Style Contiued from the previous lecture
Sep 18 User Defined Types in Ocaml slides (PPT) (full sized PDF), (6 up PDF), code (OCAML TEXT)
 
Sep 23 Recursive Data Types Contiued from the previous lecture
Sep 25 Type Systems & Type Derivations slides (PPT) (full sized PDF) (6 up PDF)
 
Sep 30 Type Derivation, cont Contiued from the previous lecture
Oct 2 MIDTERM 1
 
Oct 7 Type Inference slides (PPT) (full sized PDF) (6 up PDF-)
Oct 9 Unification
 
Oct 14 Introduction to lexing and camllex
Oct 16 BNF Grammars
 
Oct 21 BNF Grammars, Ambiguous Grammars
Oct 23 Recursive Descent Parsing (LL)
 
Oct 28 LR Parsing
Oct 30 Natural Semantics
 
Nov 4 Natural Semantics (cont)
Nov 6 MIDTERM 2
 
Nov 11 Transition Semantics
Nov 13 Transition Semantics (cont)
 
Nov 18 Lambda Calculus
Nov 20 Lambda Calculus (cont)
 
Nov 25 Thanksgiving
Nov 27 Thanksgiving
 
Dec 2 Axiomatic Semantics?
Dec 4 Axiomatic Semantics?
 
Dec 9 Review
 
Dec 15 FINAL (7:00pm - 10:00pm)