Haskell 2005: Tallinn, Estonia

• David Roundy:
  Darcs: distributed version management in haskell. 1-4
  
• Krasimir Angelov, Simon Marlow:
  Visual haskell: a full-featured haskell development environment. 5-16
  
• Martijn M. Schrage, Arjan van IJzendoorn, Linda C. van der Gaag:
  Haskell ready to dazzle the real world. 17-26
  
• Don Stewart, Manuel M. T. Chakravarty:
  Dynamic applications from the ground up. 27-38
  
• Niklas Broberg:
  Haskell server pages through dynamic loading. 39-48
  
• Tim Harris, Simon Marlow, Simon L. Peyton Jones:
  Haskell on a shared-memory multiprocessor. 49-61
  
• Andreas Abel, Marcin Benke, Ana Bove, John Hughes, Ulf Norell:
  Verifying haskell programs using constructive type theory. 62-73
  
• Tim Sheard:
  Putting curry-howard to work. 74-85
  
• Artem Alimarine, Sjaak Smetsers, Arjen van Weelden, Marko C. J. D. van Eekelen, Rinus Plasmeijer:
  There and back again: arrows for invertible programming. 86-97
  
• Bruno C. D. S. Oliveira, Jeremy Gibbons:
  TypeCase: a design pattern for type-indexed functions. 98-109
  
• Richard S. Bird:
  Polymorphic string matching. 110-115
  
• Isaac Jones:
  Halfs: a haskell filesystem. 116