Haskell 2005: Tallinn, Estonia

• David Roundy:
  Darcs: distributed version management in haskell. 1-4
  Electronic Edition (ACM DL) BibTeX
• Krasimir Angelov, Simon Marlow:
  Visual haskell: a full-featured haskell development environment. 5-16
  Electronic Edition (ACM DL) BibTeX
• Martijn M. Schrage, Arjan van IJzendoorn, Linda C. van der Gaag:
  Haskell ready to dazzle the real world. 17-26
  Electronic Edition (ACM DL) BibTeX
• Don Stewart, Manuel M. T. Chakravarty:
  Dynamic applications from the ground up. 27-38
  Electronic Edition (ACM DL) BibTeX
• Niklas Broberg:
  Haskell server pages through dynamic loading. 39-48
  Electronic Edition (ACM DL) BibTeX
• Tim Harris, Simon Marlow, Simon L. Peyton Jones:
  Haskell on a shared-memory multiprocessor. 49-61
  Electronic Edition (ACM DL) BibTeX
• Andreas Abel, Marcin Benke, Ana Bove, John Hughes, Ulf Norell:
  Verifying haskell programs using constructive type theory. 62-73
  Electronic Edition (ACM DL) BibTeX
• Tim Sheard:
  Putting curry-howard to work. 74-85
  Electronic Edition (ACM DL) BibTeX
• 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
  Electronic Edition (ACM DL) BibTeX
• Bruno C. D. S. Oliveira, Jeremy Gibbons:
  TypeCase: a design pattern for type-indexed functions. 98-109
  Electronic Edition (ACM DL) BibTeX
• Richard S. Bird:
  Polymorphic string matching. 110-115
  Electronic Edition (ACM DL) BibTeX
• Isaac Jones:
  Halfs: a haskell filesystem. 116
  Electronic Edition (ACM DL) BibTeX