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