CS 421: Programming Languages and Compilers
Lectures from Fall 2017
Video of class lectures (Channel CS 421 - FALL 2019)

Lecture Schedule for Fall 2019
slides continued from Lecture 19
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 26 Course Introduction, Introduction to Ocaml, Environments slides (PPT) (full sized PDF) (6 up PDF)

code (OCaml CODE) (SHELL)

2Aug 30 Ocaml Boolean, Tuples, Functions, Closures slides continued from Lecture 2
Sep 2 Labor Day
3Sep 6 Compound Data Types, Pattern Matching, Closures, and Higher-order Functions slides (PPT) (full sized PDF) (6 up PDF)
4Sep 9 Evaluating Expressions and Applications, Recursion over Lists slides continued from Lecture 3
5Sep 13 Lists, List Pattern Matching, Recursion over Lists, Structural Recursion, Higher-Order Functions slides (PPT) (full sized PDF) (6 up PDF)
6Sep 16 Forms of Recursion and Higher-Order Recursive Operators slides continued from Lecture 5
7Sep 20 Continuations and Continutation Passing Style slides (PPT) (full sized PDF), (6 up PDF)
8Sep 23 Continuation Passing Style (CPS) Transformation slides continued from Lecture 7
9Sep 27 User Defined Types in Ocaml, Data Constructors and Pattern Matching slides (PPT) (full sized PDF), (6 up PDF)
10Sep 30 Recursive Data Types in OCaml slides continued from Lecture 9
11Oct 4 Types and Type Systems slides (PPT) (full sized PDF) (6 up PDF)
12Oct 7 MIDTERM 1 Covers through Lecture 10
13Oct 11 Type Inference slides continued from Lecture 12
14Oct 14 Monomorhic and Polymorphic Type Derivation slides continued from Lecture 11
15Oct 18 Type Inference slides (PPT) (full sized PDF) (6 up PDF)
16Oct 21 Unification slides continued from Lecture 15
17Oct 25 Language Specification, Regular Expressions slides (PPT) (Full PDF) (Six Up PDF)
code example.mll
18Oct 28 Regular Expressions, Intro to OCamllex, OCamllex Reg Exp slides continued from Lecture 17
19Nov 1 Ocamlex, Intro to BNF grammars slides (PPT) (PDF)(full sized PDF) (6 up PDF)
20Nov 4 BNF grammar derivations, Parse Trees
21Nov 8 Ambiguous Grammars, OCamlyacc input slides (PPT) (Full PDF) (Six Up PDF)
22Nov 11 LR Parsing, Action and Goto Tables slides continued from last time
23Nov 15 Dynamic Semantics - Natural Semantics slides continued from Lecture 22
slides (PPT) (Full PDF) (Six Up PDF)
24Nov 18 MIDTERM 2 Covers Lecture 11 through parsing in Lecture 21
25Nov 22 Intro to Lambda Calculus slides (PPT) (Full PDF) (Six Up PDF)
Nov 25 Thanksgiving
Nov 29 Thanksgiving
26Dec 2 Evaluation in the Lambda Calculus slides continued from Lecture 25
27Dec 6 Intro to Axiomatic Semantics slides (PPT) (Full PDF) (Six Up PDF)
28Dec 9 Intro to Axiomatic Semantics(cont) slides continued from Lecture 27
29Dec 13 Final
Dec 13 FINAL (1:30pm - 4:30pm) Cummulative, with more weight on the last third