Haskell 2005

12 papers

1. Darcs: distributed version management in haskell · David Roundy
2. Dynamic applications from the ground up · Don Stewart, Manuel M. T. Chakravarty
3. Halfs: a haskell filesystem · Isaac Jones
4. Haskell on a shared-memory multiprocessor · Tim Harris, Simon Marlow, Simon L. Peyton Jones
5. Haskell ready to dazzle the real world · Martijn M. Schrage, Arjan van IJzendoorn, Linda C. van der Gaag
6. Haskell server pages through dynamic loading · Niklas Broberg
7. Polymorphic string matching · Richard S. Bird
8. Putting curry-howard to work · Tim Sheard
9. There and back again: arrows for invertible programming · Artem Alimarine, Sjaak Smetsers, Arjen van Weelden, Marko C. J. D. van Eekelen, Rinus Plasmeijer
10. TypeCase: a design pattern for type-indexed functions · Bruno C. d. S. Oliveira, Jeremy Gibbons
11. Verifying haskell programs using constructive type theory · Andreas Abel, Marcin Benke, Ana Bove, John Hughes, Ulf Norell
12. Visual haskell: a full-featured haskell development environment · Krasimir Angelov, Simon Marlow