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.

---

December 13, 2006

• Translation Valudation
• Generate valid typing derivations for automatic testing
• Use generics (free variables, capture avoiding substitution, type checking, unification)
• Recover a term from a graph
• Inlinig pass
• Typed defunctionalization
• Extend 2d language with IO primitives
• Constructor Classes
• 2D layout
• Graph optmization
• 0-CFA, split apply
• Proofs (of anything) in Epigram
• GADTs in IL
• GADTs in Source language
• Examples of uses of monads in implementations
• Compile to VHDL
• Use HM(X) framework
• Automatically derive ISO for generics
• GADT representation for CFG grammars.
• Add subtyping to source language