Main page Solutions and your handins 
Date Topic Videos PLAI Slides Programs & Notes In Class Homework Solution 
T
Aug 20 
Introduction and PlaitTutorial videos§1slidesPlait tutorial HW 0available
Th
  22 
How to Design ProgramsHtDP videos slidesHtDProbot, turn, uturnHW 1available
T
  27 
InterpretersInterp videos§2-5slidesarith, parsedivide  
Th
  29 
Functions and substitutionFunction videos§2-5slidesfunctionfunction-abs-if0HW 2available
T
Sept 
Binding and environmentsBinding videos§6slideslet, envlists, let-q  
Th
  
Functions as valuesLambda videos§7slideslambdaexample tracesHW 3available
T
  10 
Mutable stateStore videos§8.1slidesbox, store, store-withswap  
Th
  12 
RecordsRecord videos slidesrecord, mutable-recordrecord2, mutable-record2HW 4available
T
  17 
VariablesVariable videos§8.2slidesvariableplusplus, fluid-let  
Th
  19 
EncodingsEncoding videos slidesjust-lambdalambda+pair+listno HW 
T
  24 
Midterm 1   practice midterm   
Th
  26 
Encoding recursionY videos slidesjust-lambdalen, lambda+lenHW 5available
T
Oct 
RecursionLetrec videos§9slidesletrec-mc, letrec, letrec-ubiletrec-multi, letrec-shared  
Th
  
Lazy evaluationLazy videos§17.1slideslazy, more-lazylazy-boxHW 6available
T
  
Fall break       
Th
  10 
Fall break       
T
  15 
ContinuationsContinuation videos slideslambda-klambda-pair-k, lambda-cps  
Th
  17 
Errors, exceptions, call/ccControl videos§14slideserror, try, letcctrace 1, 2, 3, 4HW 7available
T
  22 
CompilationCompilation videos slides0, 1, 2, 3, 44-abs  
Th
  24 
Garbage collectionGC videos§11slides55-absHW 8available
T
  29 
ObjectsObject videos§10slidesobjectobject-method-as-field  
T
  31 
ClassesClass videos slidesclass, inherit, inherit-parsein-classHW 9available
T
Nov 
Midterm 2   practice midterm   
Th
  
TypesType videos§15.1-2slidestyped-lambdatyped-boxHW 10available
T
  12 
Classes and type checkingTyped class videos slidestyped-class, typed-parseequal-classHW 13 
Th
  14 
Type inferenceInference videos slidesinfer-lambdainfer-absHW 11available
T
  19 
SubtypingSubtyping videos§15.3.7slidestyped-record, subtype, subtype-mutsubtype-if0, subtype-if0gen  
Th
  21 
Typed recursionTyped recursion videos§15.2.3-4slidestyped-letrec, type-caseequals  
T
  26 
Parametric polymorphismPolymorphism videos§15.3.1slidespoly-lambdapoly-boxHW 12 
Th
  28 
Thanksgiving       
T
  
S-Expressions and macrosMacro videos§13slideslet-macro, gensymlist-macro  
Th
  
Hygiene and scopeScope videos slidespico expander