Electronic Notes in Theoretical Computer Science, Volume 10

Volume 10, 1997

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