Volume 10, 1997

HOOTS II Second Workshop on Higher-Order Operational Techniques in Semantics
Stanford University, December 8-12, 1997

• 
  Andrew D. Gordon, Andrew M. Pitts, Carolyn L. Talcott: Preface. 1
• 
  Andrew M. Pitts: Parametric Polymorphism and Operational Equivalence. 2-27
• 
  Laurent Dami: Operational Subsumption, an Ideal Model of Subtyping. 28-49
• 
  Glynn Winskel: An Operational Understanding of Bisimulation from Open Maps. 50
• 
  Alan Jeffrey: Premonoidal categories and flow graphs. 51
• 
  Philippa Gardner: A Type-theoretic Description of Action Calculi. 52
• 
  Zena M. Ariola, Amr Sabry: Correctness of Monadic State: An Imperative Call-by-Need Calculus. 53
• 
  Gilles Barthe, John Hatcliff, Peter Thiemann: Monadic Type Systems: Pure Type Systems for Impure Settings. 54-120
• 
  Husain Ibraheem, David A. Schmidt: Adapting Big-Step Semantics to Small-Step Style: Coinductive Interpretations and ``Higher-Order'' Derivations. 121
• 
  Allen Stoughton: An Operational Semantics Framework Supporting the Incremental Construction of Derivation Trees. 122-133
• 
  Dave Sands: Computing with Contexts: A simple approach. 134-149
• 
  Flemming Nielson, Hanne Riis Nielson: Flow Logic and Operational Semantics. 150-169
• 
  Ugo Montanari, Marco Pistore: An Introduction to History Dependent Automata. 170-188
• 
  Ugo Montanari, Carolyn L. Talcott: Can Actors and pi-Agents Live Together? 189-196
• 
  Scott F. Smith: Specification Diagrams for Actor Systems. 197
• 
  Luca Cardelli, Andrew D. Gordon: Mobile Ambients. 198-201
• 
  Martín Abadi, Cédric Fournet, Georges Gonthier: Secure Implementation of Channel Abstractions. 202-203
• 
  Matthew Flatt, Matthias Felleisen: Program Units as Higher-Order Modules. 204-229
• 
  J. Gregory Morrisett, Robert Harper: Typed Closure Conversion for Recursively-Defined Functions. 230-241
• 
  Stephen N. Freund, John C. Mitchell: A Type System For Object Initialization In the Java Bytecode Language. 242-245
• 
  Søren B. Lassen, Corin Pitcher: Similarity and Bisimilarity for Countable Non-Determinism and Higher-Order Functions. 246-266