DateTopicNotesHomework
M
Jan  9
Preliminaries and notationPLLC §1, reduction semantics, r.scmCourse notes: exercises 1.x
W
  11
Class Canceled  
F
  13
Class Canceled  
M
  16
MLK Day  
W
  18
Structural inductionPLLC §2Course notes: exercises 2.1-2.3
F
  20
Church-RosserPLLC §3Course notes: exercise 2.6
M
  23
Lambda calculusPLLC §4.1-4.2, lc.scm, sets.scmCourse notes: exercises 4.1-4.2
W
  25
Booleans, pairs, and numbersPLLC §4.3-4.5Course notes: exercises 4.4, 4.5, 4.9, 4.10
F
  27
RecursionPLLC §4.6-4.7Course notes: exercises 4.13-4.14
M
  30
ISWIMPLLC §5.1-5.4, iswim.scmCourse notes: exercises 5.1-5.2
W
Feb  1
Obervational equivalencePLLC §5.5-5.7Course notes: exercise 5.6
F
  3
Standard reductionPLLC §6Course notes: exercises 6.1-6.2
M
  6
CC machinePLLC §7.1, cc.scmCourse notes: exercise 7.1
W
  8
SCC and CK machinesPLLC §7.2-7.3, scc.scm, ck.scmCourse notes: exercises 7.3, 7.5
F
  10
CEK machinePLLC §7.4Course notes: exercise 7.7
M
  13
SECD machinePLLC §8Course notes: exercises 8.1-8.2
W
  15
ContinuationsPLLC §9Course notes: exercises 9.1-9.3
F
  17
Continuation-passing stylenotes3.1 in CPS notes
M
  20
President's Day  
W
  22
ErrorsPLLC §10.1Course notes: exercises 10.1, 10.5, 10.6
F
  24
ExceptionsPLLC §10.2-10.3Course notes: exercise 10.9
M
  27
State, CSPLLC §11.1-11.2Course notes: exercises 11.1-11.2
W
Mar  1
CEKS, GCPLLC §11.3-11.4Mid-term exam
F
  3
TypesPLLC §12Course notes: exercises 12.1,12.6
M
  6
Simply typed ISWIMPLLC §13.1-13.3Course notes: exercise 13.1-13.2
W
  8
NormalizationPLLC §13.4none
F
  10
Conditionals, pairs, variantsPLLC §14.1-14.3Course notes: exercises 14.1-14.3
M
  13
Spring Break  
W
  15
Spring Break  
F
  17
Spring Break  
M
  20
Recursion and polymorphismPLLC §14.4-15Course notes: exercises 14.4, 15.1-15.2
W
  22
Guest lecture  
F
  24
Class Canceled  
M
  27
Type inferencePLLC §16Course notes: exercises 16.1-16.2
W
  29
Recursive typesPLLC §17Course notes: exercise 17.3
F
  31
Class Canceled  
M
Apr  3
Existential typesPLLC §18Course notes: exercise 18.1
W
  5
SubtypingPLLC §19Course notes: exercise 19.1
F
  7
MiniJavaPLLC §20none
M
  10
Axiomatic semanticsGordon, Chapters 1-3Gordon Ex. 18 (page 34)
W
  12
Class Canceled  
F
  14
Class Canceled  
M
  17
Types and theoremsTheorems for free!read the paper in advance
W
  19
Denotation semanticsnotesExercise in notes
F
  21
Domain theorynotesExercises in notes
M
  24
   
W
  26