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

Lecture Schedule for Summer 2010 (Previous semesters' lectures at bottom of page.)
Schedule subject to change as course progresses. Lecture topics (in italics) for not yet given lectures are preliminary, and may change. Class Date Topic Lecture slides (pdf) Hwk due 1 6/1 Introduction to course + Basic OCaml pdf file ppt file 2 6/3 Basic OCaml (continued) Materials from last class 3 6/7 Tuples, Lists and Forward Recursion pdf file ppt file 4 6/8 Forward and Tail Recursion Materials from last class 5 6/10 Higher Order Functions ppt file 6 6/14 Lambda Lifting and Continuations Materials from last class 7 6/15 Continuation Passing Style Materials from last class 8 6/17 Exceptions and User Defined Datatype ppt file (Implementing Exceptions with Continuations) (Slides on exception are also included in the lecture notes of the previous class.) ppt file (User Defined Datatype) 9 6/21 Recursive Datatypes Materials from last class 10 6/22 Type Systems and Type Derivation ppt file (Type Systems) ppt file (Type Derivation) 11 6/24 Type Derivation + Review Session for Midterm 1 Materials from last class ppt file (Summary of Topics Covered) 12 6/28 Midterm 1 13 6/29 Type Inference ppt file (Type Inference) 14 7/1 Unification Algorithm ppt file (Unification Algorithm) 15 7/6 Automata and Lexing ppt file (Automata and Lexing) 16 7/6 Lexing, BNF Grammar Materials from last class ppt file (Grammar) 17 7/12 BNF Grammar Materials from last class 18 7/13 Recursive Descent Parser + Review Session for Midterm 2 Materials from last class ppt file (Summary of Topics Covered) 19 7/15 Midterm 2 20 7/19 OcamlYacc, Recursive Descent Parsing OcamlYacc (ppt file)| (pdf file) Recursive Descent Parsing (ppt file)|(pdf file) 21 7/20 Recursive Descent Parsing Materials from last class 22 7/22 Recursive Descent Parsing Materials from last class Sample Parser Program 1 (txt file) 23 7/26 Recursive Descent Parsing Sample Parser Program 2 (txt file) 24 7/27 LR Parsing, Natural Semantics ppt file (Parsing) ppt file (Natural Semantics) 25 7/29 Natural Semantics Materials from last class 26 8/2 Transition Semantics ppt file (Transition Semantics) 27 8/3 Introduction to Lambda Calculus ppt file (Lambda Calculus) 28 8/5 Last Class: Review Session for Final Lectures from Spring 2008 Lectures from Summer 2008 Lectures from Fall 2008 Lectures from Spring 2009 Lectures from Summer 2009 Lectures from Fall 2009