Electronic Notes in Theoretical Computer Science, Volume 26

Volume 26, 1999

• Andrew Gordon, Andrew M. Pitts:
  Preface.
  
• Nick Benton, Andrew Kennedy:
  Monads, Effects and Transformations.
  
• Olivier Danvy, Belmina Dzafic, Frank Pfenning:
  On proving syntactic properties of CPS programs.
  
• John Howard Eli Fiskio-Lasseter, Amr Sabry:
  Putting Operational Techniques to the Test: A Syntactic Theory for Behavioral Verilog.
  
• Neal Glew:
  Object Closure Conversion.
  
• Jörgen Gustavsson, David Sands:
  A Foundation for Space-Safe Transformations of Call-by-Need Programs.
  
• Pankaj Kakkar, Michael W. Hicks, Jonathan T. Moore, Carl A. Gunter:
  Specifying the PLAN Network Programming Langauge.
  
• Yasuhiko Minamide:
  Space-Profiling Semantics of the Call-by-Value Lambda Calculus and the CPS Transformation.
  
• Eugenio Moggi, F. Palumbo:
  Monadic Encapsulation of Effects: a Revised Approach.
  
• Andrew Moran, Søren B. Lassen, Simon L. Peyton Jones:
  Imprecise Exceptions, Co-Inductively.