Main page

Solutions and your handins

Date		Topic	Videos	PLAI	Slides	Programs & Notes	In Class	Homework	Solution
M	Jan   11	Racket and plai-typed		§1	slides		quick ref	HW 0	available
W	13	How to Design Programs	HtDP videos		slides	HtDP	steps, u-turns	HW 1	available
M	18	MLK Day
W	20	Arithmetic and functions	Interp videos	§2-5	slides	arith, ariths, function		HW 2	available
M	25	Local binding and environments	Binding videos	§6	slides	let, env	if0
W	27	Functions as values; records	Function videos Record videos	§7	slides slides	lambda record	has-field	HW 3	available
M	Feb   1	Mutable state	Store videos	§8.1	slides	box, store, store-with	swap
W	3	Variables	Variable videos	§8.2	slides	variable	example traces	HW 4	available
M	8	Encodings	Encoding videos		slides		var-no-let
W	10	Midterm 1				practice midterm
M	15	President's day
W	17	Recursion; lazy evaluation	Letrec videos Lazy videos	§9 §17.1	slides slides	letrec-mc, letrec lazy, more-lazy	letrec-check, lazy-box	HW 5	available
M	22	Continuations	Continuation videos		slides	lambda-k, lambda-k-u	cons-k
W	24	Errors, exceptions, continuations	Control videos	§14	slides	error, try, letcc	trace1, trace2, lambda-cps	HW 6	available
M	29	Compilation	Compilation videos		slides	0, 1, 2, 3, 4	neg-4
W	Mar   2	Garbage collection	GC videos	§11	slides	5	neg-5	HW 7	available
M	7	Objects	Object videos	§10	slides	object	object-method-as-field
W	9	Classes	Class videos		slides	class, inherit, inherit-parse	in-class	HW 8	available
M	14	Spring break
W	16	Spring break
M	21	Types	Type videos	§15.1-2	slides	typed-lambda, practice midterm	nonzero-num, typed-box
W	23	Subtyping	Subtyping videos	§15.3.7	slides	typed-record, subtype, subtype-mut	if0-subtype	HW 9	available
M	28	Type inference	Inference videos		slides	infer-lambda	infer-neg
W	30	Typed recursion	Typed recursion videos	§15.2.3-4	slides	typed-letrec, type-case	equals	HW 10	available
M	Apr   4	Parametric polymorphism	Polymorphism videos	§15.3.1	slides	poly-lambda	ad-hoc-auto-type-apply	HW 11
W	6	Classes and type checking	Typed class videos		slides	typed-class, typed-parse	PLLC §1-2	HW 12
M	11	Operational semantics and λ-calculus		PLLC §3-4
W	13	ISWIM and standard reduction		PLLC §5-6				HW 13
M	18	Abstract machines		PLLC §7
W	20	Control and state		PLLC §8-10
M	25	Soundness; model of Java		PLLC §12-20