Main pageSolutions and your handins
DateTopicVideosPLAISlidesPrograms & NotesIn ClassHomeworkSolution
M
Jan  11
Racket and plai-typed §1slides quick refHW 0available
W
  13
How to Design ProgramsHtDP videos slidesHtDPsteps, u-turnsHW 1available
M
  18
MLK Day       
W
  20
Arithmetic and functionsInterp videos§2-5slidesarith, ariths, function HW 2available
M
  25
Local binding and environmentsBinding videos§6slideslet, envif0  
W
  27
Functions as values; recordsFunction videos
Record videos
§7slides
slides
lambda
record
has-fieldHW 3available
M
Feb  1
Mutable stateStore videos§8.1slidesbox, store, store-withswap  
W
  3
VariablesVariable videos§8.2slidesvariableexample tracesHW 4available
M
  8
EncodingsEncoding videos slides var-no-let  
W
  10
Midterm 1   practice midterm   
M
  15
President's day       
W
  17
Recursion; lazy evaluationLetrec videos
Lazy videos
§9
§17.1
slides
slides
letrec-mc, letrec
lazy, more-lazy
letrec-check, lazy-boxHW 5available
M
  22
ContinuationsContinuation videos slideslambda-k, lambda-k-ucons-k  
W
  24
Errors, exceptions, continuationsControl videos§14slideserror, try, letcctrace1, trace2, lambda-cpsHW 6available
M
  29
CompilationCompilation videos slides0, 1, 2, 3, 4neg-4  
W
Mar  2
Garbage collectionGC videos§11slides5neg-5HW 7available
M
  7
ObjectsObject videos§10slidesobjectobject-method-as-field  
W
  9
ClassesClass videos slidesclass, inherit, inherit-parsein-classHW 8available
M
  14
Spring break       
W
  16
Spring break       
M
  21
TypesType videos§15.1-2slidestyped-lambda, practice midtermnonzero-num, typed-box  
W
  23
SubtypingSubtyping videos§15.3.7slidestyped-record, subtype, subtype-mutif0-subtypeHW 9available
M
  28
Type inferenceInference videos slidesinfer-lambdainfer-neg  
W
  30
Typed recursionTyped recursion videos§15.2.3-4slidestyped-letrec, type-caseequalsHW 10available
M
Apr  4
Parametric polymorphismPolymorphism videos§15.3.1slidespoly-lambdaad-hoc-auto-type-applyHW 11 
W
  6
Classes and type checkingTyped class videos slidestyped-class, typed-parsePLLC §1-2HW 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