Electronic Notes in Theoretical Computer Science, Volume 26

Volume 26, 1999

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