CS 421: Programming Languages main  ::  policy  ::  lectures  ::  mps  ::  exams  ::  unit project  ::  resources  ::  faq

Lecture Schedule for Summer 2006 Lecture Videos by Date May 30 Course Introduction & Introduction to Languages 01-CourseIntro Slides [PDF] [PDF 4-up] [PDF 6-up] May 31 Introduction to OCaml; Variable Creation and Scoping 02-OCamlIntro Slides [PDF] [PDF 4-up] [PDF 6-up] [OCaml Code] June 1 Recursion Patterns 03-Recursion Slides [PDF] [PDF 4-up] [PDF 6-up] [OCaml Code] June 5 & 6 Higher-Order Functions 04-HOF Slides [PDF] [PDF 4-up] [PDF 6-up] [OCaml Code] June 6 & 8 User-Defined Types 05-UDTs Slides [PDF] [PDF 4-up] [PDF 6-up] UDTs Extended Example Example Slides [PDF] [PDF 4-up] [PDF 6-up] [OCaml Code] Option Example Example Slides [PDF] [PDF 4-up] [PDF 6-up] [OCaml Code] June 12 Types and Type Derivations 06-TypeDeriv Slides [PDF] [PDF 4-up] [PDF 6-up] June 13 Unification 07-Unification Slides [PDF] [PDF 4-up] [PDF 6-up] June 15 Lambda Calculus 08-Lambda Slides [PDF] [PDF 4-up] [PDF 6-up] June 22 Syntax: Regular Expressions, NFAs, and DFAs 09-RE Slides [PDF] [PDF 4-up] [PDF 6-up] June 22-26 Syntax: Converting Regular Expressions to DFAs 10-RE-Conv Slides [PDF] [PDF 4-up] [PDF 6-up] June 26 Hask: A Simplified Haskell 11-Hask Slides [PDF] [PDF 4-up] [PDF 6-up] June 27 Syntax: Lexing and ocamllex 12-Lexing Slides [PDF] [PDF 4-up] [PDF 6-up] July 6 Syntax: Grammars and Context-Free Languages 13-Grammars Slides [PDF] [PDF 4-up] [PDF 6-up] July 10 Syntax: Parsing 14-Parsing Slides [PDF] [PDF 4-up] [PDF 6-up] [Recursive Descent Parser] [OCamlyacc Sample Parser] July 13 Transition Semantics 15-TransSem Slides [PDF] [PDF 4-up] [PDF 6-up] July 17 Names and Variables 16-Names Slides [PDF] [PDF 4-up] [PDF 6-up] July 20 Natural Semantics 17-NatSem Slides [PDF] [PDF 4-up] [PDF 6-up] July 20 Data Abstraction 18-DataAbstraction Slides [PDF] [PDF 4-up] [PDF 6-up] July 24 Object-Oriented Languages 19-OOP Slides [PDF] [PDF 4-up] [PDF 6-up] July 25 Control Flow 20-ControlFlow Slides [PDF] [PDF 4-up] [PDF 6-up] July 27 Continuation Passing Style 21-CPS Slides [PDF] [PDF 4-up] [PDF 6-up] August 3 Concurrency 22-Concurrency Slides [PDF] [PDF 4-up] [PDF 6-up]