cs252r : Advanced Functional Programming - Fall 2006
These pages are a record of the in-class discussions for the graduate class "Advanced Functional Programming" given at Harvard University in the Fall of 2006.- September 25, 2006 : Why Functional Programming Matters
- October 11, 2006 : Imperative Functional Programming
- October 16, 2006 : The Essence of Functional Programming
- October 18, 2006 : Clean and Uniqueness Types
- October 25, 2006 : Introduction to Type Classes
- October 30, 2006 : Constructor Classes and Quick Check
- November 1, 2006 : HM(X)
- November 6, 2006 : Putting Type Annotations to Work
- November 8, 2006 : Practical type inference for arbitrary rank types
- November 13, 2006 : Lazy Functional State Threads
- November 20, 2006 : GADTs: Typed LR Parsers
- November 27, 2006 : Continuations
- November 29, 2006 : Generic Programming
- December 4, 2006 : Generics for the Masses
- December 6, 2006 : Why Dependent Types Matter
- December 11, 2006 : A type-correct compiler
- December 13, 2006 : Ideas for projects
- December 15, 2006 : Best Paper Discussion