Main pageSolutions and your handins
DateTopicNotesHomeworkSolution
T
Aug  23
RacketPLAI §1, slides, quick refHW 0available
Th
  26
How to Design Programsslides, guiHW 1available
T
  30
Arithmetic, binding, substitutionPLAI §2-3, slides, ae, wae  
Th
Sept  1
First-order functionsPLAI §4, slides, f1waeHW 2available
T
  6
Deferred substitutionPLAI §5, slides, f1wae-ds  
Th
  8
Compilation and lexical scopeslides, cf1waeHW 3available
T
  14
First-class functionsPLAI §6, slides, fae+with, fae, trace  
Th
  16
Dynamic scope, recursionPLAI §9, slides, cfaeHW 4available
T
  20
Encodingsslides  
Th
  22
Mid-term 1sample  
T
  27
Implementing recursionslides, frfae, rcfae  
Th
  29
Mutable structures and variablesPLAI §13-14, slides, bcfae, bmcfaeHW 5available
T
Oct  4
Lazy evaluationPLAI §7-8, slides, plai-lazy, cfal  
Th
  6
Continuation-passing stylePLAI §15-18, slides, serverHW 6available
T
  11
Fall break   
Th
  13
Fall break   
T
  18
ContinuationsPLAI §19-20, slides, kcfae, trace  
Th
  20
Continuation recordsslides, fae-k, codeHW 7available
T
  25
Canceled   
Th
  27
Garbage collectionslides, gcHW 8available
T
Nov  1
TypesPLAI §24-26, slides  
Th
  3
Type checkingPLAI §25-26, slides, plai-typed, demo, kcfae-t, tfae-tHW 9available
T
  8
Mid-term 2sample  
Th
  10
Type inferencePLAI §30, slides, tifae-tHW 10available
T
  15
Objects and classesslides, cae-t  
Th
  17
Subclasses and type checkingslides, ticae-tHW 11 
T
  22
Recursion, variants, soundnessPLAI §26-27; slides, trcfae-t, tvrcfae-t  
Th
  24
Thanksgiving   
T
  29
PolymorphismPLAI §29, 31, slides  
Th
Dec  1
Languages in RacketPLAI §36-37, slides, article  
T
  6
HW11 presentations   
Th
  8
No meeting