Higher Order Operational Techniques in Semantics - Contributors
Higher Order Operational Techniques in Semantics
-
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
Addresses are as of the date of publication, January 1998.