kirancodes.me
To Proof Maintenance & Beyond!
Venues / Haskell /

Haskell 2003

12 papers

  1. Functional Pearl trouble shared is trouble halved · Richard S. Bird, Ralf Hinze
  2. Haskell and principal types · Karl-Filip Faxén
  3. Haskell tools from the programatica project · Thomas Hallgren
  4. Helium, for learning Haskell · Bastiaan Heeren, Daan Leijen, Arjan van IJzendoorn
  5. HsDebug: debugging lazy programs by not being lazy · Robert Ennals, Simon L. Peyton Jones
  6. Interactive type debugging in Haskell · Peter J. Stuckey, Martin Sulzmann, Jeremy Wazny
  7. Modeling quantum computing in Haskell · Amr Sabry
  8. Simulating quantified class constraints · Valery Trifonov
  9. Structure and interpretation of quantum mechanics: a functional framework · Jerzy Karczmarczuk
  10. The Yampa arcade · Antony Courtney, Henrik Nilsson, John Peterson
  11. Tool support for refactoring functional programs · Huiqing Li, Claus Reinke, Simon J. Thompson
  12. XML templates and caching in WASH · Peter Thiemann