Presentation Topics

1. Arbitrary-rank polymorphism in (GHC) Haskell: Stephen Forrest, March 20 slides: ,
   • GHC user manual Arbitrary-Rank Polymorphism section
   • Practical Type Inference for Arbitrary-Rank Types by Simon Peyton Jones and Mark Shields
2. The Spineless Tagless G-machine: Ershad Rahimikia, March 20 slides: ,
   • Paper available from Simon Peyton Jones' publication page
3. Software Transactional Memory (and Concurrent Haskell): Pablo Castro, March 23 slides: ,
   • Composable memory transactions
   • Lock-Free Data Structures using STMs in Haskell
4. Functional-Logic Programming (in Curry): Mingquan Fu, March 23
   • Curry home page
5. The OCaml Module System: Ning Zhou, March 27
   • Xavier Leroy: Applicative functors and fully transparent higher-order modules
6. Functional Dependencies and Constraint Handling Rules: Feng Wang, March 27
   • Start from A Haskell programmer's guide to Chameleon
   See also:
   • The Chameleon home page
   • GHC User Manual Section on Functional Dependencies
   Understanding functional dependencies via Constraint Handling Rules
7. Generic Programming: Pouya Larjani, March 30 slides: ,
   • Scrap your Boilerplate
   • Generic Haskell
8. Dependent Types: Marc Bender, March 30
   • Epigram home page - start from the paper ``Why dependent types matter''
   • They even have a Wikipedia entry
9. Functional strategies for generic programming and language processing
   • Strafunski