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