default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID2nd HOOTS 1997: Stanford, CA, USA
- Andrew D. Gordon, Andrew M. Pitts, Carolyn L. Talcott:
Second Workshop on Higher-Order Operational Techniques in Semantics, HOOTS 1997, Stanford, CA, USA, December 8-12, 1997. Electronic Notes in Theoretical Computer Science 10, Elsevier 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-10-31 20:03 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
