15-417/817 HOT Compilation
Schedule

The class notes provide additional reading material
They complement, but do not replace the lecture
The schedule is subject to change throughout the semester

Date			Lecture Notes	Additional Reading	Due

Tue	Jan	14	Sax	lec01.sax lec01.sax.val
Thu	Jan	16	Linear Typechecking	lec02.sax lec02.sax.val

Tue	Jan	21	Linear Natural Deduction (by Sophia Roshal)	lec03.adj0
Thu	Jan	23	Compilation		Lab 1 (tests)

Tue	Jan	28	Evaluation
Thu	Jan	30	Optimizations	inc.sax rev.sax	Lab 1 (compilers)

Tue	Feb	4	Negative Types	lec07.nd lec07.nd.sax
Thu	Feb	6	Closures		Lab 2 (tests)

Tue	Feb	11	Closure Conversion	lec09.nd lec09.nd.sax
Thu	Feb	13	Adjoint Types	lec10.adj	Lab 2 (compilers)

Tue	Feb	18	Lecture Cancelled
Thu	Feb	20	Law and Order	lec11.adj	Lab 3 (tests)

Tue	Feb	25	Substructural Parametricity	[draft paper]
Thu	Feb	27	Ordered Type Checking		Lab 3 (compilers)

Tue	Mar	4	Spring Break
Thu	Mar	6	Spring Break

Tue	Mar	11
Thu	Mar	13

Tue	Mar	18			Lab 4 (tests)
Thu	Mar	20

Tue	Mar	25			Lab 4 (compilers)
Thu	Mar	27

Tue	Apr	1			Lab 5 (tests)
Thu	Apr	3	Spring Carnival

Tue	Apr	8			Lab 5 (compilers)
Thu	Apr	10

Tue	Apr	15			Lab 6 (plan)
Thu	Apr	17

Tue	Apr	22
Thu	Apr	24			Lab 6 (code & write-up)

[ Home | Schedule | Assignments | Resources ]