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

Haskell 2007

13 papers

  1. A functional-logic library for wired · Matthew Naylor, Emil Axelsson, Colin Runciman
  2. A lightweight interactive debugger for haskell · Simon Marlow, José Iborra, Bernard J. Pope, Andy Gill
  3. A shortcut fusion rule for circular program calculation · João Paulo Fernandes, Alberto Pardo, João Saraiva
  4. A type-preserving closure conversion in haskell · Louis-Julien Guillemette, Stefan Monnier
  5. Beauty in the beast · Wouter Swierstra, Thorsten Altenkirch
  6. Comprehensive comprehensions · Simon L. Peyton Jones, Philip Wadler
  7. Demo outline: switched-on yampa · George Giorgidze, Henrik Nilsson
  8. Harpy: run-time code generation in haskell · Martin Grabmüller, Dirk Kleeblatt
  9. Haskell program coverage · Andy Gill, Colin Runciman
  10. Lightweight concurrency primitives for GHC · Peng Li, Simon Marlow, Simon L. Peyton Jones, Andrew P. Tolmach
  11. Uniform boilerplate and list processing · Neil Mitchell, Colin Runciman
  12. Why it's nice to be quoted: quasiquoting for haskell · Geoffrey Mainland
  13. Xmonad · Don Stewart, Spencer Sjanssen