DateTopicNotesHomework
M
Jan  7
 Reduction semantics  Redex I.1  Ex. I.1.1-6 
W
  9
 Induction  Appendix 20  Ex. 20.1-3, 20.6 
M
  14
 Consistency; lambda calculus  Redex I.2; I.3.1-2  Ex. I.3.4-5 
W
  16
 Lambda calculus encodings  Redex I.3.3-6  Ex. I.3.{7,8,12,13} 
M
  21
 Martin Luther King Jr. day       
W
  23
 Meeting canceled       
M
  28
 Recursion and normal forms  Redex I.3.7-10  Ex. I.3.16-17 
 
   
 ISWIM  Redex I.4  Ex. I.4.{1,2,9} 
W
  30
 Redex  Redex II.11  Ex. II.11.2-5 
M
Feb 4
 Meeting canceled       
W
  6
 Meeting canceled       
M
  11
 Standard Reduction  Redex I.5  Ex. I.5.1-4 
W
  13
 Variables and meta-functions  Redex II.12, iswim2  II-12... 
M
  18
 President's day       
W
  20
 CC, SCC, CK  Redex I.6.1-3  I-6.1-3... 
M
  25
 CEK, tail calls, and space  Redex I.6.5; I.7  I-6.4, Ex. I.7.2-3 
W
  27
 Errors and exceptions  Redex I.8.1-3  Ex. I.8.{1,7,9} 
M
Mar 4
 State  Redex I.9.1-3  Ex. I.9.{1,4,5,7} 
W
  6
 CESK, GC  Redex I.9.4-5  take-home mid-term 
M
  11
 Spring break       
W
  13
 Spring break       
M
  18
 Meeting canceled       
W
  20
 Meeting canceled       
M
  25
 Types  PLLC 12  Ex. 12.{1,6} 
W
  27
 Review       
M
Apr 1
 Simply Typed ISWIM  PLLC 13  13... 
W
  3
 Pairs, Variants, Recursion  PLLC 14  Ex. 14.1-4 
M
  8
 Polymorphism  PLLC 15  Ex. 15.1-2 
W
  10
 Type inferrence  PLLC 16  Ex. 16.1-2 
M
  15
 Recursive and existential types  PLLC 17, 18  Ex. 17.1-3 
W
  17
 Subtypes  PLLC 19  Ex. 19.1 
M
  22
 Classes  PLLC 20  Ex. 20.5 
W
  24
 Denotational semantics  denote, domains