Main page Solutions and your handins 
Date Topic Videos PLAI Slides Programs & Notes In Class Homework Solution 
T
Aug  22 
Racket and plai-typed §1slides quick refHW 0available
Th
  24 
How to Design ProgramsHtDP videos slidesHtDProbotHW 1available
T
  29 
Arithmetic and functionsInterp videos§2-5slidesarith, ariths, functiondivide  
Th
  31 
Local binding and environmentsBinding videos§6slideslet, envif0, let-qHW 2available
T
Sept  
Functions as valuesFunction videos§7slideslambdaexample traces  
Th
  
RecordsRecord videos slidesrecordhas-fieldHW 3available
T
  12 
Mutable stateStore videos§8.1slidesbox, store, store-withswap  
Th
  14 
VariablesVariable videos§8.2slidesvariableplusplus, example traceHW 4available
T
  19 
EncodingsEncoding videos slides var-no-let  
Th
  21 
RecursionLetrec videos§9slidesletrec-mc, letrecletrec-check.rkt, …-maybe.rkt, …-pair.rktHW 5available
T
  26 
Midterm 1   practice midterm   
Th
  28 
Lazy evaluationLazy videos§17.1slideslazy, more-lazylazy-boxHW 6available
T
Oct  
ContinuationsContinuation videos slideslambda-k, lambda-k-ulambda-pair-k, lambda-cps  
Th
  
Errors, exceptions, continuationsControl videos§14slideserror, try, letcctrace1, trace2, trace3HW 7available
T
  10 
Fall break       
Th
  12 
Fall break       
T
  17 
ObjectsObject videos§10slidesobjectobject-method-as-field  
Th
  19 
ClassesClass videos slidesclass, inherit, inherit-parsein-classHW 8available
T
  24 
TypesType videos§15.1-2slidestyped-lambdatyped-box  
Th
  26 
SubtypingSubtyping videos§15.3.7slidestyped-record, subtype, subtype-mutsubtype-if0, subtype-if0genHW 9available
T
  31 
Type inferenceInference videos slidesinfer-lambdainfer-neg  
Th
Nov  
Typed recursionTyped recursion videos§15.2.3-4slidestyped-letrec, type-case HW 10available
T
  
Midterm 2   practice midterm, extra practice   
Th
  
Parametric polymorphismPolymorphism videos§15.3.1slidespoly-lambdapoly-boxHW 11available
T
  14 
CompilationCompilation videos slides0, 1, 2, 3, 44-abs  
Th
  16 
Garbage collectionGC videos§11slides55-absHW 12 
T
  21 
Classes and type checkingTyped class videos slidestyped-class, typed-parse HW 13 
Th
  23 
Thanksgiving       
T
  28 
        
Th
  30 
        
T
  
        
Th