Main page Solutions and your handins 
Date Topic Videos PLAI Slides Programs & Notes In Class Homework Solution 
M
Aug 24 
IntroductionIntroduction videos slides    
W
  26 
PlaitTutorial videos§1 Plait tutorialc2f, dowHW 0available
M
  31 
How to Design ProgramsHtDP videos slidesHtDProbotHW 1available
W
Sept 
InterpretersInterp videos§2-5slidesarith, parsedivide  
M
  
Labor Day       
W
  
Functions and substitutionFunction videos§2-5slidesfunctionfunction-if0HW 2available
M
  14 
Binding and environmentsBinding videos§6slideslet, envremove, let-q  
W
  16 
Functions as valuesLambda videos§7slideslambdaexample tracesHW 3available
M
  21 
Mutable stateStore videos§8.1slidesbox, store, store-withswap  
W
  23 
RecordsRecord videos slidesrecord, mutable-recordrecord2, mutable-record2HW 4available
M
  28 
VariablesVariable videos§8.2slidesvariableplusplus, fluid-let  
W
  30 
EncodingsEncoding videos slidesjust-lambdalambda+bool+pairno HW 
M
Oct 
Midterm 1   practice midterm   
W
  
Encoding recursionY videos slidesjust-lambdalen, lambda+lenHW 5available
M
  12 
RecursionLetrec videos§9slidesletrec-mc, letrec, letrec-ubiletrec-multi  
W
  14 
Lazy evaluationLazy videos§17.1slideslazy, more-lazylazy-boxHW 6 
M
  19 
ContinuationsContinuation videos slideslambda-klambda-pair-k, lambda-cps  
W
  21 
Errors, exceptions, call/ccControl videos§14slideserror, try, letcctrace 1, 2, 3, 4, 5HW 7available
M
  26 
Compilation and GC (optional)Compilation videos, GC videos§11slides, slides0, 1, 2, 3, 4, 54-abs, 5-absHW 8available
W
  28 
ObjectsObject videos§10slidesobjectobject-fallback, 2, 3, 4  
M
Nov 
ClassesClass videos slidesclass, inherit, inherit-parsein-classHW 9available
W
  
no class       
M
  
Midterm 2   practice midterm   
W
  11 
TypesType videos§15.1-2slidestyped-lambdatyped-boxHW 10available
M
  16 
Classes and type checkingTyped class videos slidestyped-class, typed-parseequal-classHW 13 
W
  18 
Type inferenceInference videos slidesinfer-lambdainfer-absHW 11available
M
  23 
Parametric polymorphismPolymorphism videos§15.3.1slidespoly-lambdapoly-box  
W
  25 
SubtypingSubtyping videos§15.3.7slidestyped-record, subtype, subtype-mutsubtype-if0, subtype-if0gen  
M
  30 
Typed recursionTyped recursion videos§15.2.3-4slidestyped-letrec, type-caseequals  
W
Dec 
S-Expressions and macrosMacro videos§13slideslet-macro, gensymlist-macro