Main page

Solutions and your handins

Date		Topic	Videos	PLAI	Slides	Programs & Notes	In Class	Homework	Solution
M	Aug   26	Racket and plai-typed		§1	slides		quick ref	HW 0	available
W	28	How to Design Programs	HtDP videos		slides	HtDP	fuel, turns, u-turns	HW 1	available
M	Sept   2	Labor Day
W	4	Arithmetic and functions	Interp videos	§2-5	slides	arith, ariths, function	multiplus	HW 2	available
M	9	Local binding and environments	Binding videos	§6	slides	let, env	if0
W	11	Functions as values	Function videos	§7	slides	lambda	example traces	HW 3	available
M	16	Mutable state	Store videos	§8.1	slides	box, store, store-with	swap, trace
W	18	Variables	Variable videos	§8.2	slides	variable	midterm	HW 4	available
M	23	Records and encodings	Record videos Encoding videos		slides	record, record-mutable
W	25	Mid-term 1				practice midterm		HW 5	available
M	30	Recursion	Letrec videos	§9	slides	letrec-mc, letrec	lambda-clos
W	Oct   2	Lazy evaluation	Lazy videos	§17.1	slides	lazy, more-lazy	lazy-record	HW 6	available
M	7	Continuations	Continuation videos		slides	lambda-k	lambda-cons-k
W	9	Errors, exceptions, continuations	Control videos	§14	slides	error, try, letcc	trace, letcc-cps, amb	HW 7	available
M	14	Fall break
W	16	Fall break
M	21	Objects	Object videos	§10	slides	object	object-set
W	23	Classes	Class videos		slides	class, inherit, inherit-parse	in-class	HW 8	available
M	28	No class
W	30	Types	Type videos	§15.1-2	slides	typed-lambda	typed-record	HW 9	available
M	Nov   4	Type inference	Inference videos		slides	infer-lambda	infer-record
W	6	Typed recursion	Typed recursion videos	§15.2.3-4	slides	typed-letrec, type-case	equals	HW 10	available
M	11	Parametric polymorphism	Polymorphism videos	§15.3.1	slides	poly-lambda	poly-tree, midterm
W	13	Mid-term 2				practice midterm		HW 11	available
M	18	Subtyping	Subtyping videos	§15.3.7	slides	typed-record, subtype, subtype-mut	if0
W	20	Classes and type checking	Typed class videos		slides	typed-class, typed-parse	class-in-class	HW 12
M	25	Compilation	Compilation videos		slides	0, 1, 2, 3, 4	minus, unbox
W	27	Garbage collection	GC videos	§11	slides	5	gc-unbox	HW 13	available
M	Dec   2	Pattern-based macros	Macro videos	§13	slides	cbr	lazy1, lazy2
W	4	Procedural macros	Syntax videos		slides		record-macro	HW 14
M	9	Macro-based languages	Language videos		slides	method-macro, class-macro, class-lang	lang-in-class
W	11	Typed and infix languages	#lang videos		slides	type-class-lang, type-class		HW 15