HIM 2003: Preliminary Program

Friday 29 August

09.30--09.35   Welcome

09.35--10.10   Comparison of speculative evaluation models

Karl-Filip Faxén, KTH, Stockholm, Sweden

10.10--10.50   Push/enter vs. eval/apply

Simon Peyton-Jones, Microsoft Research, Cambridge, UK

10.50--11.10   Break

11.10--11.50    The implementation of overloading in Chameleon

Martin Sulzmann, National University of Singapore

11.50--12.30   Type analysis with type classes

Manuel Chakravarty, University of New South Wales, Sydney

12.30--13.30   Lunch

13.30--14.10    The Utrecht Haskell Compiler (UHC) and related tools

Doaitse Swierstra, Universiteit Utrecht, Utrecht, The Netherlands

14.10--14.30    Demo: wxHaskell: a portable and native GUI library for Haskell

Daan Leijen, Universiteit Utrecht, Utrecht, The Netherlands

14.30--15.30   Discussion: Haskell GUIs

Introduced (20 minutes) and chaired by Axel Simon, University of Kent, UK

15.30--16.00   Break

16.00--16.40   Experiences with Template Haskell

André Pang and Sean Seefried, University of New South Wales, Sydney

16.40--17.00   Demo: Visual Studio

Simon Peyton-Jones, Microsoft Research, Cambridge, UK

17.00--18.00   Discussion: Concurrency and bound threads

Indroduced (20 minutes) and chaired by Wolfgang Thaller

Saturday 30 August

09.00--09.40   Type inference for higher rank types,

Simon Peyton-Jones, Microsoft Research, Cambridge, UK

09.40--10.20   Implementing Parallel, Distributed and Mobile Haskells

Phil Trinder, Heriot-Watt University, UK

10.20--10.40   Demo: Mocha -- An Objective-C binding for Haskell

André Pang, University of New South Wales, Sydney, Australia

10.40--11.00   Break

11.00--12.00   Discussion: Library infrastructure

Indroduced (20 minutes) and chaired by Isaac Jones, Aetion Technologies LLC

12.00--13.00   Lunch

13.00--            Discussion time

Time for further discussions in smaller groups on GUIs, concurrency, libraries, or spontaneous interaction/discussions about anything.