Higher Order Operational Techniques in Semantics

Contributors

Andrew D. Gordon

Microsoft Research, 1 Guildhall St, Cambridge CB2 3NH, UK

Robert Harper

School of Computer Science, Carnegie Mellon University, Pittsburgh, PA 15213-3891, USA

My Hoang (my.hoang@sap-ag.de)

SAP Technology, Inc., 950 Tower Lane, 16th Floor, Foster City, CA 94404, USA

Brian T. Howard

Department of Mathematics and Computer Science, Bridgewater College, Bridgewater, Virginia 22812, USA

Soeren B. Lassen

Computer Laboratory, Cambridge University, Pembroke Street, Cambridge CB2 3QG, UK

Greg Morrisett

Department of Computer Science, Cornell University, Ithaca, NY 14853-7501, USA

Alan Jeffrey

School of Cognitive and Computing Sciences, University of Sussex, Falmer, Brighton BN1 9QH, UK

John C. Mitchell

Department of Computer Science, Stanford University, Stanford CA 94305-9045, USA

Andrew M. Pitts

Computer Laboratory, Cambridge University, Pembroke Street, Cambridge CB2 3QG, UK

David Sands

Department of Computing Science, Chalmers University of Technology and University of Goeteborg, S-412 96 Goeteborg, Sweden

Scott F. Smith

Department of Computer Science, The Johns Hopkins University, Baltimore, MD 21218-2686, USA

Ian D. B. Stark

Department of Computer Science, Edinburgh University, King's Buildings, Mayfield Road, Edinburgh EH9 3JZ, UK

Carolyn Talcott

Department of Computer Science, Stanford University, Stanford CA 94305-9045, USA