Volume 26, 1999
HOOTS '99 Higher Order Operational Techniques in Semantics
Paris, France, September 30 and October 1, 1999
- Andrew D. Gordon, Andrew M. Pitts:
Preface.
1-2
- Nick Benton, Andrew Kennedy:
Monads, Effects and Transformations.
3-20
- Olivier Danvy, Belmina Dzafic, Frank Pfenning:
On proving syntactic properties of CPS programs.
21-33
- John Howard Eli Fiskio-Lasseter, Amr Sabry:
Putting Operational Techniques to the Test: A Syntactic Theory for Behavioral Verilog.
34-51
- Neal Glew:
Object Closure Conversion.
52-68
- Jörgen Gustavsson, David Sands:
A Foundation for Space-Safe Transformations of Call-by-Need Programs.
69-86
- Pankaj Kakkar, Michael W. Hicks, Jonathan T. Moore, Carl A. Gunter:
Specifying the PLAN Network Programming Langauge.
87-104
- Yasuhiko Minamide:
Space-Profiling Semantics of the Call-by-Value Lambda Calculus and the CPS Transformation.
105-120
- Eugenio Moggi, F. Palumbo:
Monadic Encapsulation of Effects: a Revised Approach.
121
- Andrew Moran, Søren B. Lassen, Simon L. Peyton Jones:
Imprecise Exceptions, Co-Inductively.
122-141
Last update Fri May 24 16:38:55 2013
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
