15-814 Types and Programming Languages
Schedule

The lecture notes provide additional reading material that complements, but do not replaces the lecture.
The schedule is subject to change throughout the semester
Chapter references are to the textbook
Further references can be found in the lecture notes and textbook

Date			Lecture Notes	Additional Reading	Code	Due

Tue	Aug	26	The Lambda Calculus		bool.lam
Thu	Aug	28	Recursion		rec.lam

Tue	Sep	2	Simple Types
Thu	Sep	4	Parametric Polymorphism		nat.poly

Tue	Sep	9	From λ-Calculus to Programming Languages			Asst 1
Thu	Sep	11	Preservation and Progress	rule sheet

Tue	Sep	16	Type Isomorphisms	rule sheet		Asst 2
Thu	Sep	18	Recursive Types	rule sheet	rec.cbv

Tue	Sep	23	Bidirectional Type Checking		lec9.cbv	Asst 3
Thu	Sep	25	Interpreters		eval.cbv cps.cbv

Tue	Sep	30	Existential Types		lec11.cbv	Asst 4
Thu	Oct	2	Subtyping		lec12.cbv cps.cbv

Tue	Oct	7	Midsemester Review			Asst 5
Thu	Oct	9	Midterm Exam (in class)	midterm18.pdf midterm19.pdf midterm21.pdf midterm25.pdf	(sample solution) (sample solution) (sample solution) (sample solution)

Tue	Oct	14	Fall Break
Thu	Oct	16	Fall Break

Tue	Oct	21	Termination
Thu	Oct	23

Tue	Oct	28
Thu	Oct	30				Asst 6

Tue	Nov	4	Democracy Day (no class)
Thu	Nov	6				Asst 7

Tue	Nov	11
Thu	Nov	13				Asst 8

Tue	Nov	18
Thu	Nov	20

Tue	Nov	25	Project Day (no class)
Thu	Nov	27	Thanksgiving Break (no class)

Tue	Dec	2
Thu	Dec	4				MP