CSE 526: Principles of Programming Languages, Spring 2020

Home	Schedule	Lectures	Homeworks	Exams	Resources

The following are the slides used in lectures so far. Videos of online lectures (March 12 and later), and some pre-lecture videos are now accessible to all students in this class, from here.

1. Course Organization and Introduction, 1/28 ( view | print )
2. Prolog, 1/30-2/18 ( view | print )
3. Untyped Arithmetic Expressions, 2/23-3/3 ( view | print )
4. Untyped Lambda Calculus, 3/5-3/31 ( view | print )
5. OCAML, 3/31-4/9 ( view | print )
6. Simple Types, 4/16-21 ( view | print )
7. Extensions, 4/21-23 ( view | print )