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
Last updated 10 September 2003.