15-814 Types and Programming Languages
Schedule

Lectures are Tuesday and Thursday, 10:30pm-11:50pm, GHC 4307
The lecture notes provide additional reading material
They complement, but do not replace the lecture or the textbook
The schedule is subject to change throughout the semester
Chapter and exercise references are to the textbook
Further references can be found in the lecture notes and textbook
Combined lectures notes (single PDF)

Date			Lecture Notes	Additional Reading	Due

Tue	Aug	28	No Lecture (CSD IC)
Thu	Aug	30	No Lecture (CSD IC)

Tue	Sep	4	The Lambda Calculus	Ch 21.1-21.2
Thu	Sep	6	Recursion, Binding, Substitution, and Computation	Ch 21.2

Tue	Sep	11	Simple Types	Ch 8.1-8.2	Asst 0
Thu	Sep	13	Subject Reduction and Normal Forms	Ch 8.2-8.3

Tue	Sep	18	From λ-Calculus to Programming Languages	Ch 8.2, Ch 6
Thu	Sep	20	Sum Types	Ch 11.1, Ch 10.1

Tue	Sep	25	Eager Products	Exc 10.2	Asst 1
Thu	Sep	27	General Recursion and Recursive Types	Ch 11.2, Ch 19, Ch 20

Tue	Oct	2	Data Representation	Ch 20, Ch 21.4	Asst 2
Thu	Oct	4	Dynamic Typing	Ch 22, live code (in Haskell)

Tue	Oct	9	Parametric Polymorphism	Ch 16	Asst 3
Thu	Oct	11	Parametricity	Ch 16.3, Ch 48

Tue	Oct	16			Asst 4
Thu	Oct	18	Midterm Exam (in class)	sample solution

Tue	Oct	23	Data Abstraction	Ch 17
Thu	Oct	25	The K Machine	Ch 28, live code (in Haskell)

Tue	Oct	30	Modeling Store		Asst 5
Thu	Nov	1	Closures

Tue	Nov	6	Quotation		Asst 6
Thu	Nov	8	Propositions as Types	Ch 12

Tue	Nov	13	Sequent Calculus		Asst 7
Thu	Nov	15	Message-Passing Concurrency

Tue	Nov	20	No Class (Reading Day)		Asst 8
Thu	Nov	22	No Class (Thanksgiving Break)

Tue	Nov	27	Session Types	live code (in Concurrent C0)
Thu	Nov	29	Temporal Session Types	[ICFP'18] (paper)

Tue	Dec	4	Ergometric Session Types	[MFPS'18] (talk slides), [LICS'18] (paper)
Thu	Dec	6	Racket and Turnstile	specs tests (in Racket)	Asst 9

Thu	Dec	13	Final Exam, 5:30pm-8:30pm, POS 153	sample solution

[ Home | Schedule | Assignments | Resources ]