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

Haskell 2002

9 papers

  1. A formal specification of the Haskell 98 module system · Iavor S. Diatchki, Mark P. Jones, Thomas Hallgren
  2. A lightweight implementation of generics and dynamics · James Cheney, Ralf Hinze
  3. A recursive do for Haskell · Levent Erkök, John Launchbury
  4. Eager Haskell: resource-bounded execution yields efficient iteration · Jan-Willem Maessen
  5. Functional reactive programming, continued · Henrik Nilsson, Antony Courtney, John Peterson
  6. Haddock, a Haskell documentation tool · Simon Marlow
  7. Techniques for embedding postfix languages in Haskell · Chris Okasaki
  8. Template meta-programming for Haskell · Tim Sheard, Simon Peyton Jones
  9. Testing monadic code with QuickCheck · Koen Claessen, John Hughes