Main page

Solutions and your handins

Date		Topic	Videos	PLAI	Slides	Programs & Notes	In Class	Homework
M	Aug  24	Introduction	Introduction videos Tutorial videos	§1	slides	Shplait tutorial
W	26	How to Design Programs	HtDP videos		slides	HtDP
M	31	Interpreters	Interp videos	§2-5	slides	arith, parse
M	Sept  2	Functions and substitution	Function videos	§2-5	slides	function
M	7	Labor Day
W	9	Binding and environments	Binding videos	§6	slides	let, env, HtDP IV
M	14	Functions as values	Lambda videos	§7	slides	lambda
W	16	Mutable state	Store videos	§8.1	slides	box, store, store_reslet
M	21	Records	Record videos		slides	record, mutable_record
W	23	Variables	Variable videos	§8.2	slides	variable, crate
M	28	Encodings	Encoding videos		slides	just_lambda
W	30	Midterm 1
M	Oct  5	Encoding recursion	Y videos		slides	just_lambda
W	8	Recursion	Letrec videos	§9	slides	letrec_mc, letrec, letrec_ubi
M	12	Fall break
W	14	Fall break
M	19	Lazy evaluation	Lazy videos	§17.1	slides	lazy, more_lazy
W	21	Continuations	Continuation videos		slides	lambda_k
M	26	Errors, exceptions, call/cc	Control videos	§14	slides	error, try, let_cc
W	28	Compilation	Compilation videos		slides	0, 1, 2, 3, 4
M	Nov  2	Garbage collection	GC videos	§11	slides	5
W	4	Midterm 2
M	9	Objects	Object videos	§10	slides	object, lambda_obj
W	11	Classes	Class videos		slides	class, inherit, inherit_parse
M	16	Types	Type videos	§15.1-2	slides	typed_lambda
W	18	Subtyping	Subtyping videos	§15.3.7	slides	typed_record, subtype, subtype_mut
M	23	Type inference	Inference videos		slides	infer_lambda
W	25	Typed recursion	Typed recursion videos	§15.2.3-4	slides	typed_letrec, type_case
M	30	Parametric polymorphism	Polymorphism videos	§15.3.1	slides	poly_lambda
W	Dec  1	Classes and type checking	Typed class videos		slides	typed_class, typed_parse
M	7	Macros	Macro videos	§13	slides
W	9	Review
T	15	Final		10:30am