Main page Solutions and your handins 
Date Topic Videos PLAI Slides Programs & Notes In Class Homework Solution 
M
Jan  
Racket and plai-typed §1slides quick refHW 0available
W
  11 
How to Design ProgramsHtDP videos slidesHtDPsteps, turnsHW 1available
M
  16 
MLK day       
W
  18 
Arithmetic and functionsInterp videos§2-5slidesarith, ariths, functiondivide, divide+parseHW 2available
M
  23 
Local binding and environmentsBinding videos§6slideslet, envif0, letq  
W
  25 
Functions as values; recordsFunction videos
Record videos
§7slides
slides
lambda
record
example tracesHW 3available
M
  30 
Mutable stateStore videos§8.1slidesbox, store, store-withswap  
W
Feb  
VariablesVariable videos§8.2slidesvariableplusplus, box-via-varHW 4available
M
  
EncodingsEncoding videos slides var-no-let  
W
  
Midterm 1   practice midterm   
M
  13 
RecursionLetrec videos§9slidesletrec-mc, letrecletrec-check, letrec-check2, letrec-pair  
W
  15 
Lazy evaluationLazy videos§17.1slideslazy, more-lazylazy-box, lazy-iszeroHW 5available
M
  20 
President's day       
W
  22 
ContinuationsContinuation videos slideslambda-k, lambda-k-ucons-k, lambda-cpsHW 6available
M
  27 
Errors, exceptions, continuationsControl videos§14slideserror, try, letcctraced-k  
W
Mar  
Compilation
Garbage collection
Compilation videos
GC videos
§11slides
slides
0, 1, 2, 3, 4
5
4-abs.rkt, 5-abs.rktHW 7available
M
  
ObjectsObject videos§10slidesobjectobject-method-as-field  
W
  
ClassesClass videos slidesclass, inherit, inherit-parsein-classHW 8available
M
  13 
Spring break       
W
  15 
Spring break       
M
  20 
TypesType videos§15.1-2slidestyped-lambdatyped-box  
W
  22 
SubtypingSubtyping videos§15.3.7slidestyped-record, subtype, subtype-mutif0-subtypeHW 9available
M
  27 
Classes and type checkingTyped class videos slidestyped-class, typed-parse HW 12 
W
  29 
Type inferenceInference videos slidesinfer-lambdainfer-negHW 10available
M
Apr  
No class   practice midterm   
W
  
No class       
M
  10 
Typed recursionTyped recursion videos§15.2.3-4slidestyped-letrec, type-caseequals  
W
  12 
Parametric polymorphismPolymorphism videos§15.3.1slidespoly-lambdaad-hoc-auto-type-applyHW 11available
M
  17 
Operational semantics and λ-calculus PLLC §1-4     
W
  19 
ISWIM and standard reduction PLLC §5-6     
M
  24 
Abstract machines PLLC §7,11