ALGOL-like Languages Contributors Samson Abramsky A. John Power Department of Computer Science Department of Computer Science University of Edinburgh University of Edinburgh Edinburgh, U.K. EH9 3JZ Edinburgh, U.K. EH9 3JZ samson@dcs.ed.ac.uk ajp@dcs.ed.ac.uk Stephen Brookes Uday S. Reddy School of Computer Science Computer Science Department Carnegie-Mellon University University of Illinois Pittsburgh, PA 15213-3890 Urbana, IL 61801 Stephen.Brookes@cs.cmu.edu reddy@cs.uiuc.edu Matthias Felleisen John C. Reynolds Department of Computer Science School of Computer Science Rice University Carnegie Mellon University Houston, TX 77251 Pittsburgh, PA 15213 matthias@cs.rice.edu John.Reynolds@cs.cmu.edu Evan Ireland Kurt Sieber School of Information Science Informatik Massey University Universit"at des Saarlandes Palmerston North, New Zealand Saarbr"ucken, Germany 66041 E.Ireland@massey.ac.nz sieber@cs.uni-sb.de Guy McCusker Vipin Swarup Department of Computing The MITRE Corporation Imperial College Burlington Road London, U.K. SW7 2BZ Bedford, MA 01730 gam@doc.ic.ac.uk swarup@linus.mitre.org Albert R. Meyer Makoto Takeyama Laboratory for Computer Science Department of Computing Science MIT Chalmers University of Technology and Cambridge, MA 02139 G"oteborg University meyer@theory.lcs.mit.edu G"oteborg, Sweden S 41296 makoto@cs.chalmers.se Peter W. O'Hearn Robert D. Tennent Department of Computer Science Department of Computing and Queen Mary and Westfield College Information Science London, U.K. E1 4NS Queen's University ohearn@dcs.qmw.ac.uk Kingston, Canada K7L 3N6 rdt@qucis.queensu.ca Frank J. Oles Stephen Weeks Mathematical Sciences Department School of Computer Science IBM T. J. Watson Research Center Carnegie Mellon University Yorktown Heights, NY 10598 Pittsburgh, PA 15213 oles@watson.ibm.com Stephen.Weeks@cs.cmu.edu Andrew M. Pitts Computer Laboratory University of Cambridge Cambridge, U.K. CB2 3QG ap@cl.cam.ac.uk