FP2007 Seminar Topics

Materials are in the preferred order.

• Concurrency in Haskell [Jaak R]
  • Software Transactional Memory, TVars, STM monad, etc
  • Original paper
  • STM monad API
• HaXml [Jevgeni V]
  • A combinator-based Haskell XML library
  • Original paper
  • Homepage
• CAL and the Open Quark Framework [Rein R]
  • A Haskell-like language and environment for Java, includes visual IDE for functional composition.
  • Homepage
  • There is a lot of material that should be worked through, but not that much useful information. Difference from Haskell, visual design tool and integration with Java are of the most interest.
• HaskellDB [Lauri T]
  • A combinator-based database interface
  • Homepage
  • Tutorial
  • Original paper
  • Later paper
• WASH
  • A Haskell web framework
  • Original paper
  • Homepage
• Scrap Your Boilerplate [Kalmer A]
  • A lightweight framework for generic programming in Haskell
  • Original paper
  • Homepage
• Theorems for free!
  • Philip Wadler's well-known paper on deriving theorems from polymorphic functions
  • Original article
• Deforestation
  • Another Philip Wadler's paper on removing intermediate data structures
  • Original paper