- 2000
- Michael Baldamus:
First-order Semantics for Higher-order Processes. HOOTS 2000: 50-69 - Gavin M. Bierman, Andrew M. Pitts
, Claudio V. Russo:
Operational Properties of Lily, a Polymorphic Linear Lambda Calculus with Recursion. HOOTS 2000: 70-88 - Simon Helsen, Peter Thiemann:
Syntactic Type Soundness for the Region Calculus. HOOTS 2000: 1-19 - Alan Jeffrey:
Preface. HOOTS 2000: 89 - Yasuhiko Minamide:
A New Criterion for Safe Program Transformations. HOOTS 2000: 20-34 - Roberto Virga:
Efficient Substitution in Hoare Logic Expressions. HOOTS 2000: 35-49 - Alan Jeffrey:
4th International Workshop on Higher Order Operational Techniques in Semantics, HOOTS 2000, Satellite to PLI 2000, Montreal, Canada, September 22, 2000. Electronic Notes in Theoretical Computer Science 41(3), Elsevier 2000 [contents] - 1999
- Nick Benton, Andrew Kennedy:
Monads, Effects and Transformations. HOOTS 1999: 3-20 - Olivier Danvy, Belmina Dzafic, Frank Pfenning:
On proving syntactic properties of CPS programs. HOOTS 1999: 21-33 - John Howard Eli Fiskio-Lasseter, Amr Sabry
:
Putting Operational Techniques to the Test: A Syntactic Theory for Behavioral Verilog. HOOTS 1999: 34-51 - Neal Glew:
Object Closure Conversion. HOOTS 1999: 52-68 - Andrew D. Gordon, Andrew M. Pitts:
Preface. HOOTS 1999: 1-2 - Jörgen Gustavsson, David Sands:
A Foundation for Space-Safe Transformations of Call-by-Need Programs. HOOTS 1999: 69-86 - Pankaj Kakkar, Michael W. Hicks, Jonathan T. Moore, Carl A. Gunter:
Specifying the PLAN Network Programming Langauge. HOOTS 1999: 87-104 - Yasuhiko Minamide:
Space-Profiling Semantics of the Call-by-Value Lambda Calculus and the CPS Transformation. HOOTS 1999: 105-120 - Eugenio Moggi
, Fabrizio Palumbo:
Monadic Encapsulation of Effects: a Revised Approach. HOOTS 1999: 121 - Andrew Moran, Søren B. Lassen, Simon L. Peyton Jones:
Imprecise Exceptions, Co-Inductively. HOOTS 1999: 122-141 - Andrew D. Gordon, Andrew M. Pitts:
Third Workshop on Higher-Order Operational Techniques in Semantics, HOOTS 1999, Paris, France, September 30 - October 1, 1999. Electronic Notes in Theoretical Computer Science 26, Elsevier 1999 [contents] - 1997
- Martín Abadi, Cédric Fournet, Georges Gonthier:
Secure Implementation of Channel Abstractions. HOOTS 1997: 202-203 - Zena M. Ariola, Amr Sabry
:
Correctness of Monadic State: An Imperative Call-by-Need Calculus. HOOTS 1997: 53 - Gilles Barthe
, John Hatcliff, Peter Thiemann:
Monadic Type Systems: Pure Type Systems for Impure Settings. HOOTS 1997: 54-120 - Luca Cardelli
, Andrew D. Gordon:
Mobile Ambients. HOOTS 1997: 198-201 - Laurent Dami:
Operational Subsumption, an Ideal Model of Subtyping. HOOTS 1997: 28-49 - Matthew Flatt, Matthias Felleisen:
Program Units as Higher-Order Modules. HOOTS 1997: 204-229 - Stephen N. Freund, John C. Mitchell:
A Type System For Object Initialization In the Java Bytecode Language. HOOTS 1997: 242-245 - Philippa Gardner:
A Type-theoretic Description of Action Calculi. HOOTS 1997: 52 - Andrew D. Gordon, Andrew M. Pitts, Carolyn L. Talcott:
Preface. HOOTS 1997: 1 - Husain Ibraheem, David A. Schmidt:
Adapting Big-Step Semantics to Small-Step Style: Coinductive Interpretations and "Higher-Order" Derivations. HOOTS 1997: 121 - Alan Jeffrey:
Premonoidal categories and flow graphs. HOOTS 1997: 51 - Søren B. Lassen, Corin Pitcher:
Similarity and Bisimilarity for Countable Non-Determinism and Higher-Order Functions. HOOTS 1997: 246-266