Main page

Solutions and your handins

Date		Topic	Videos	PLAI	Slides	Programs & Notes	In Class	Homework	Solution
T	Aug  21	Introduction and Plait		§1	slides	Plait tutorial	story	HW 0	available
Th	23	How to Design Programs	HtDP videos		slides	HtDP	robot, turn, uturn	HW 1	available
T	28	Interpreters	Interp videos	§2-5	slides	arith, parse	divide
Th	30	Functions and substitution	Function videos	§2-5	slides	function	function-abs-if0	HW 2	available
T	Sept  4	Binding and environments	Binding videos	§6	slides	let, env	let-q
Th	6	Functions as values	Lambda videos	§7	slides	lambda	example traces	HW 3	available
T	11	Mutable state	Store videos	§8.1	slides	box, store, store-with	swap
Th	13	Records	Record videos		slides	record, mutable-record	record2, mutable-record2	HW 4	available
T	18	Variables	Variable videos	§8.2	slides	variable	plusplus, fluid-let
Th	20	Encodings	Encoding videos		slides	just-lambda	lambda+if0+list	no HW
T	25	Midterm 1				practice midterm
Th	27	Encoding recursion	Y videos		slides	just-lambda.rkt	rec-list	HW 5	available
T	Oct  2	Recursion	Letrec videos	§9	slides	letrec-mc, letrec, letrec-ubi	letrec-multi.rkt
Th	4	Lazy evaluation	Lazy videos	§17.1	slides	lazy, more-lazy	lazy-box	HW 6	available
T	9	Fall break
Th	11	Fall break
T	16	Continuations	Continuation videos		slides	lambda-k	lambda-pair-k, lambda-cps
Th	18	Errors, exceptions, call/cc	Control videos	§14	slides	error, try, letcc	trace 1, 2, 3, 4	HW 7	available
T	23	Compilation	Compilation videos		slides	0, 1, 2, 3, 4	4-abs
Th	25	Garbage collection	GC videos	§11	slides	5	5-abs	HW 8	available
T	30	Objects	Object videos	§10	slides	object	object-method-as-field
Th	Nov  1	Classes	Class videos		slides	class, inherit, inherit-parse	in-class	HW 9	available
T	6	Midterm 2				practice midterm
Th	8	Types	Type videos	§15.1-2	slides	typed-lambda	typed-box	HW 10	available
T	13	Classes and type checking	Typed class videos		slides	typed-class, typed-parse	equal-class	HW 13
Th	15	Type inference	Inference videos		slides	infer-lambda	infer-abs	HW 11	available
T	20	Subtyping	Subtyping videos	§15.3.7	slides	typed-record, subtype, subtype-mut	subtype-if0, subtype-if0gen
Th	22	Thanksgiving
T	27	Typed recursion	Typed recursion videos	§15.2.3-4	slides	typed-letrec, type-case	equals
Th	29	Parametric polymorphism	Polymorphism videos	§15.3.1	slides	poly-lambda	poly-box, tree	HW 12
T	4	S-Expressions and macros	Macro videos	§13	slides	let-macro, gensym	list-macro
Th	6	Hygiene and scope	Scope videos		slides	pico expander