Second Workshop on
Higher Order Operational Techniques in Semantics

December 8-11, 1997
Center for the Study of Language and Information
Stanford University, USA

The topic of the workshop was operational techniques for the semantics of higher order languages. We solicited presentations of recent or ongoing work on topics including (but not limited to):

for higher order languages including: The meeting was organised by A. Gordon, A. Pitts and C. Talcott. We are most grateful for generous sponsorship from Harlequin Ltd and the NSF.

Publication: this is not a refereed venue. The record of the workshop is Volume 10 of Electronic Notes in Theoretical Computer Science.


Presentations:
  1. Martin Abadi (joint work with Cedric Fournet and Georges Gonthier)
    Secure Implementation of Channel Abstractions
  2. Luca Cardelli and Andrew D. Gordon
    A Calculus of Mobile Ambients
  3. Laurent Dami
    Operational Subsumption
  4. Steve Freund and John Mitchell
    A Type System For Object Initialization In the Java Virtual Machine Bytecode Language
  5. Philippa Gardner
    A Type-theoretic Description of Action Calculi
  6. Bob Harper (joint work with Greg Morrisett)
    A Comprehensive Treatment of Typed Closure Conversion
  7. Alan Jeffrey
    Premonoidal Categories and Flow Graphs
  8. Soeren B. Lassen and Corin Pitcher
    Similarity and Bisimilarity for Countable Non-Determinism and Higher-Order Functions
  9. Ugo Montanari and Carolyn Talcott
    Can Actors and pi-Agents Live Together?
  10. Flemming Nielson
    Flow Logics
  11. Marco Pistore
    History Dependent Automata
  12. Andy Pitts
    Parametric Polymorphism and Contextual Equivalence
  13. Amr Sabry (joint work with Zena Ariola)
    Soundess of Haskell Monad Implementation
  14. Dave Sands
    A Simple Approach to Evaluating Contexts
  15. Dave Schmidt
    Interpreting Big-Step Semantics in Small-Step Style
  16. Scott Smith
    On Specification Diagrams for Actor Systems
  17. Allen Stoughton
    An Operational Semantics Framework Supporting the Incremental Construction of Derivation Trees
  18. Glynn Winskel
    An Operational Understanding of Bisimulation from Open Maps

List of participants


Sponsorship

The organisers are grateful for generous sponsorship from Harlequin Ltd, the US National Science Foundation and the US Office of Naval Research.