Benjamin Pierce
University of Pennsylvania
bcpierce@cis.upenn.edu

Ulf Norel
Chalmers University
ulfn@chalmers.se

Greg Michaelson
Heriot Watt
G.Michaelson@hw.ac.uk