Pierce, Ken, School of Computing Science, Newcastle University, United Kingdom