Main page

Solutions and your handins

Date		Topic	Videos	PLAI	Slides	Programs & Notes	In Class	Homework	Solution
T	Aug   25	Racket and plai-typed		§1	slides		quick ref	HW 0	available
Th	27	How to Design Programs	HtDP videos		slides	HtDP	package, any-fragile, safe-packing	HW 1	available
T	Sept   1	Arithmetic and functions	Interp videos	§2-5	slides	arith, ariths, function	divide
Th	3	Local binding and environments	Binding videos	§6	slides	let, env	if0, let-q, multiplus	HW 2	available
T	8	Functions as values	Function videos	§7	slides	lambda	example traces
Th	10	Records	Record videos		slides	record	has-field	HW 3	available
T	15	Mutable state	Store videos	§8.1	slides	box, store, store-with	swap
Th	17	Variables	Variable videos	§8.2	slides	variable	example trace, plusplus	HW 4	available
T	22	Encodings	Encoding videos		slides		var-no-let
Th	24	Mid-term 1						HW 5	available
T	29	Recursion	Letrec videos	§9	slides	letrec-mc, letrec	letrec-check+multi
Th	Oct   1	Lazy evaluation	Lazy videos	§17.1	slides	lazy, more-lazy	lazy-record	HW 6	available
T	6	Continuations	Continuation videos		slides	lambda-k, lambda-k-u	lambda-cons-k
Th	8	Errors, exceptions, continuations	Control videos	§14	slides	error, try, letcc	trace1, trace2, trace3, lambda-cps	HW 7	available
T	13	Fall break
Th	15	Fall break
T	20	Objects	Object videos	§10	slides	object	object-method-as-field
Th	22	Classes	Class videos		slides	class, inherit, inherit-parse	in-class	HW 8	available
T	27	Mid-term 2 review				practice mid-term
Th	29	Mid-term 2
T	Nov   3	Types	Type videos	§15.1-2	slides	typed-lambda	divide-lambda
Th	5	Subtyping	Subtyping videos	§15.3.7	slides	typed-record, subtype, subtype-mut	divide-subtype	HW 9	available
T	10	Type inference	Inference videos		slides	infer-lambda	infer-abs
Th	12	Typed recursion	Typed recursion videos	§15.2.3-4	slides	typed-letrec, type-case	equals	HW 10	available
T	17	Parametric polymorphism	Polymorphism videos	§15.3.1	slides	poly-lambda	ad-hoc-auto-type-apply	HW 11
Th	19	Classes and type checking	Typed class videos		slides	typed-class, typed-parse	class-in-class	HW 12
T	24	Compilation	Compilation videos		slides	0, 1, 2, 3, 4	4-abs
Th	26	Thanksgiving
T	Dec   1	Garbage collection	GC videos	§11	slides	5	5-abs, 5-fixnum	HW 13
Th	3	Pattern-based macros	Macro videos	§13	slides	cbr	define-lazy
T	8	Procedural macros	Syntax videos		slides		record-macro
Th	10	Macro-based languages	Language videos		slides	method-macro, class-macro, class-lang