CS 421: Programming Languages and Compilers
Lecture Schedule for Fall 2018
Schedule subject to change as course progresses.
Lecture slides for not yet given lectures are preliminary, and may change.
Day Date Topic Slides and Code
1Aug 28 Course Introduction, Introduction to Ocaml, Environments Slides (PPT)

code (OCaml CODE) (SHELL)

2Aug 30 Ocaml Boolean, Tuples, Functions, Environments, Closures Slides (PPT)
3Sep 4 Closures and Evaluation of Function Application, Order of Evaluation in OCaml Slides (PPT) (full sized PDF)
Notes on Ocaml Evaluation
4Sep 6 Higher-Order Functions, Pattern Matching and Recursion over Lists slides continued from Lecture 3
5Sep 11 Lists, List Pattern Matching, Recursion over Lists, Structural Recursion Slides (PPT) (full sized PDF)
6Sep 13 Forms of Recursion and Higher-Order Recursive Operators slides continued from Lecture 5
7Sep 18 Continuations and Continutation Passing Style Slides (PPT) (PDF)
8Sep 20 Continuation Passing Style (CPS) Transformation slides continued from Lecture 7
9Sep 25 User Defined Algebraic Data Types in Ocaml, Data Constructors and Pattern Matching slides (PPT) (PDF)
10Sep 27 Recursive Data Types in OCaml slides continued from Lecture 9
11Oct 2 Types and Type Systems oldslides (PPT) (full sized PDF) (6 up PDF)
12Oct 4 MIDTERM 1 (No lecture; Midterm Oct 2-4) Covers through Lecture 10
13Oct 9 Monomorhic and Polymorphic Type Derivation slides continued from Lecture 11
14Oct 11 Type Inference slides continued from Lecture 12
15Oct 16 Type Inference oldslides (PPT) (full sized PDF) (6 up PDF)
16Oct 18 Unification slides continued from Lecture 15
17Oct 23 Regular Expressions, OCamllex oldslides (PPT) (Full PDF) (Six Up PDF)
18Oct 25 OCamllex, BNF Grammars, Parse Trees oldslides (cont) (PPT) (Full PDF) (Six Up PDF)
19Oct 30 Parsing, Ambiguous Grammars oldslides (PPT) (PDF)(full sized PDF) (6 up PDF)
20Nov 1 LR Parsing, Action and Goto Tables oldslides (PPT) (full sized PDF) (6 up PDF)
21Nov 6 Ambiguous Grammars, Recursive Descent Parsing oldslides (PPT) (Full PDF) (Six Up PDF)
22Nov 8 MIDTERM 2 (No lecture; Midterm Nov 6-8) Covers Lecture 11 through parsing in Lecture 21
23Nov 13 Dynamic Semantics - Natural Semantics slides continued from last time
24Nov 15 Transition Semantics slides continued from Lecture 22
oldslides (PPT) (Full PDF) (Six Up PDF)
Nov 20 Thanksgiving
Nov 22 Thanksgiving
25Nov 27 Intro to Lambda Calculus oldslides (PPT) (Full PDF) (Six Up PDF)
26Nov 29 Evaluation in the Lambda Calculus slides continued from Lecture 25
27Dec 4 Intro to Axiomatic Semantics oldslides (PPT) (Full PDF) (Six Up PDF)
28Dec 6 Intro to Axiomatic Semantics(cont) slides continued from Lecture 27
29Dec 11 Review
Dec 17 FINAL (8:00am - 11:00am) Cummulative, with more weight on the last third