Princeton University

Computer Science 441


The course final exam is here. You may choose any 24hour time period between Thurs. Jan 8Tues Jan 13 at 4:30pm to complete the exam.
Here is an approximate schedule for COS 441. This schedule is only approximate and may be changed at any time.
Week  Topics  Reading  Notes/Assignments 
1 [sep 1219] 
Course Introduction Deductive Systems 
Pierce Chap 2 (especially 2.4) Pierce Chap 3.13.3 
Lecture1
Assignment #1: Deductive Systems (Due Wed Sept 24) 
2 [sep 2226] 
Proofs by Induction ML intro/Programming with Deductive Systems 
Example
Proofs
Assignment #2: More Deductive Systems and Proofs (Due Wed Oct 1) 

3 [sep 29oct 3] 
Untyped Lambda Calculus Translations 
Pierce Chap 5.1, 5.2  ML Links:
error messages,
getting started with SML at
Princeton + mode for emacs,
tutorials,
getting
started tutorial,
Robert Harper's
"Programming in Standard ML",
library
documentation
Assignment #3, a3code (Due Wed Oct 1) 
4 [oct 610] 
Free & Bound Variables Substitution Proofs 
Pierce Chap 5.3

substitution slides Assignment #4, a4code (Due Wed Oct 15) 
5 [oct 1317] 
Type Systems 
Pierce Chap 8.1, 8.2, 9.1, 9.2, 9.4 Pierce Chap 8.3, 9.3 
Assignment #5 (Due Fri Oct 25) 
6 [oct 2024] 
Type Safety  Pierce Chap 11  
Fall Break  
7 [nov 37] 
Pair types and Sum types CurryHoward Isomorphism Evaluation Contexts 
Pierce Chap 11

Midterm: 5 hour takehome exam 
8 [nov 1014] 
Evaluation Contexts Pattern Matching 
notes on evaluation contexts  
9 [nov 1721] 
Polymorphism Type Inference 
Pierce Chap 22,23

Type Inference Slides 
10 [nov 2428] 
Existential Types Recursive Types 
Pierce Chap 24.1 (the notation is a little
different than what we used in class  not required reading, see notes) Pierce Chap 20.1, 20.2 
Existential Notes 
11 [dec 15] 
Mutable References TinyC 
Pierce Chap 13  Assignment #7 (pdf, polylam.sml) 
12 [dec 812] 
Advanced Topics: Stack Inspection Lambda Zap 

24hour Takehome Final Exam  covering all topics; you will have 24 hours to do the Final You may choose any 24hour time period between Thurs. Jan 8Tues Jan 13 at 4:30pm. 