Editors-in-Chief

Dr Matthias Felleisen
College of Computer Science
Northeastern University
360 Huntingdon Avenue
Boston MA 02115
USA

Professor Jeremy Gibbons
Oxford University Computing Laboratory
Wolfson Building
Parks Road
Oxford
OX1 3QD
UK

Professor Benjamin C. Pierce
University of Pennsylvania
Dept of Computer and Information Science
200 South 33rd Street
Philadelphia
PA 19104-6389
USA

Editors

Dr Ralf Hinze
Department of Computer Science
University of Oxford
Wolfson Building
Parks Road
Oxford OX1 3QD
UK

Professor Stephanie Weirich
University of Pennsylvania
Department of Computer and Information Science
Levine Hall
3330 Walnut Street
Philadelphia, PA 19104-6309
USA

Commercial Uses Editor

Dr Lennart Augustsson
Nilssonsberg 7
411 43 Göteborg
Sweden

Tools and Applications Editor

Dr Colin Runciman
Department of Computer Science
University of York
Heslington
York
YO1 5DD
UK

Theoretical Pearl Editor

Professor Robert Harper
School of Computer Science
Carnegie Mellon University
Pittsburgh
PA 15213-3890
USA

Educational Editor

Dr Shriram Krishnamurthi
Computer Science Department
Box 1910, Brown University
Providence
RI 02912-1910
USA

Book Review Editor

Dr Simon Thompson
Computing Laboratory
University of Kent at Canterbury
Canterbury
Kent
CT2 7NF
UK
s.j.thompson@ukc.ac.uk

Editorial Board

Dr Andrew Adams-Moran
Galois, USA

Professor Lars Birkedal
IT University of Copenhagen, Denmark

Dr Manuel Chakravarty
University of New South Wales, Australia

Dr Olivier Danvy
University of Aarhus, Denmark

Dr Jean-Christophe Filliatre
CNRS, France

Professor Robert Findler
Northwestern University, USA

Professor Matthew Flatt
University of Utah, USA

Dr Graham Hutton
University of Nottingham, UK

Dr Xavier Leroy
INRIA Rocquencourt, France

Dr Norman Ramsey
Tufts University, USA

Professor Manuel Serrano
INRIA, France

Dr Eijiro Sumii
Tohoku University, Japan