Main page

Solutions and your handins

Date		Topic	Videos	PLAI	Slides	Programs & Notes	In Class	Homework
M	Aug  18	Introduction	Introduction videos Tutorial videos	§1	slides	Shplait tutorial	c2f, dow	HW 0
W	20	How to Design Programs	HtDP videos		slides	HtDP	robot	HW 1
M	25	Interpreters	Interp videos	§2-5	slides	arith, parse	divide
W	27	Functions and substitution	Function videos	§2-5	slides	function	function_abs	HW 2
M	Sept  1	Labor Day
W	3	Binding and environments	Binding videos	§6	slides	let, env, HtDP IV	remove, let_q
M	8	Functions as values	Lambda videos	§7	slides	lambda	example traces	HW 3
W	10	Mutable state	Store videos	§8.1	slides	box, store, store_reslet	swap
M	15	Records	Record videos		slides	record, mutable_record	record2	HW 4
W	17	Variables	Variable videos	§8.2	slides	variable, crate	plusplus, fluid_let
M	22	Encodings	Encoding videos		slides	just_lambda	lambda_bool_pair	no HW
W	24	Midterm 1				practice midterm
M	29	Encoding recursion	Y videos		slides	just_lambda	len, lambda_len	HW 5
W	Oct  1	Recursion	Letrec videos	§9	slides	letrec_mc, letrec, letrec_ubi	letrec_multi
M	6	Fall break
W	8	Fall break
M	13	Objects and Classes videos only	Object videos Class videos	§10	slides slides	object, lambda_obj class, inherit, inherit_parse	object-fallback, 2, 3 class_abs, inh…, …parse…
W	15	Lazy evaluation	Lazy videos	§17.1	slides	lazy, more_lazy	lazy_box	HW 6
M	20	Continuations	Continuation videos		slides	lambda_k	lambda_pair_k, lambda_cps
W	22	Errors, exceptions, call/cc	Control videos	§14	slides	error, try, let_cc	trace 1, 2, 3, 4, 5	HW 7
M	27	review / trace practice
W	29	Midterm 2				practice midterm
M	Nov  3	Compilation	Compilation videos		slides	0, 1, 2, 3, 4	4_abs
W	5	Garbage collection	GC videos	§11	slides	5	5_abs	HW 8
M	10	Types	Type videos	§15.1-2	slides	typed_lambda	typed_box
W	12	Subtyping	Subtyping videos	§15.3.7	slides	typed_record, subtype, subtype_mut	subtype_if0, subtype_if0gen	HW 10
M	17	Classes and type checking	Typed class videos		slides	typed_class, typed_parse	equal_class
W	18	Type inference	Inference videos		slides	infer_lambda	infer_abs	HW 11
M	24	Typed recursion	Typed recursion videos	§15.2.3-4	slides	typed_letrec, type_case	equals
W	26	Parametric polymorphism	Polymorphism videos	§15.3.1	slides	poly_lambda	poly_box	HW 12
M	Dec  1	Macros	Macro videos	§13	slides	lambda_matchless, let_macro
W	3	Racket, Rhombus, & Shplait