Princeton University
|
Computer Science 441
|
|
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 [fri sep 16] |
Syntax |
slides 1 | |
|
2 [sep 19 -23] |
Inductive functions Denotational semantics Inductive proofs Haskell intro |
Learn You a Haskell for Great Good: Read the Intro, Getting Started | slides 2 Assignment 1 Due 1pm Tuesday Sept 27 |