HIM 2003: Meeting Record

Friday 29 August

• Welcome
• Modular cloning
  Karl-Filip Faxén, KTH, Stockholm, Sweden
• Push/enter vs. eval/apply
  Simon Peyton-Jones, Microsoft Research, Cambridge, UK
  Jointly with Simon Marlow
• The implementation of overloading in Chameleon
  Martin Sulzmann, National University of Singapore
• Type analysis with type classes
  Manuel Chakravarty, University of New South Wales, Sydney
  Jointly with Gabriele Keller
• The Utrecht Haskell Compiler (UHC) and related tools
  Doaitse Swierstra, Universiteit Utrecht, Utrecht, The Netherlands
  Jointly with Atze Dijkstra
• Demo: wxHaskell: a portable and native GUI library for Haskell
  Daan Leijen, Universiteit Utrecht, Utrecht, The Netherlands
• Discussion: Haskell GUIs
  Introduced and chaired by Axel Simon, University of Kent, UK
• Experiences with Template Haskell
  André Pang and Sean Seefried, University of New South Wales, Sydney
• Impromptu talk: Haskell on bare metal
  John Launchbury, OGI and Galois Connections, Oregon, USA
• Demo: Visual Studio
  Simon Peyton-Jones, Microsoft Research, Cambridge, UK
  Jointly with Simon Marlow
• Discussion: Concurrency and bound threads
  Indroduced and chaired by Wolfgang Thaller

Saturday 30 August

• Type inference for higher rank types
  Simon Peyton-Jones, Microsoft Research, Cambridge, UK
  Jointly with Mark Shields
• Implementing Parallel, Distributed and Mobile Haskells
  Phil Trinder, Heriot-Watt University, UK
  Jointly with Hans-Wolfgang Loidl, Robert Pointon, and André Rauber Du Bois
• Discussion: Packages and module naming
  Indroduced and chaired by Simon Peyton-Jones, Microsoft Research, Cambridge, UK
• Discussion: Library infrastructure
  Indroduced and chaired by Isaac Jones, Aetion Technologies LLC
• Demo: Mocha -- An Objective-C binding for Haskell
  André Pang, University of New South Wales, Sydney, Australia