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