Science of Computer Programming, Volume 43

Volume 43, Number 1, April 2002

• Yaroslav S. Usenko:
  State space generation for the HAVi leader election protocol. 1-33
  Electronic Edition (link) BibTeX
• Patrik Jansson, Johan Jeuring:
  Polytypic data conversion programs. 35-75
  Electronic Edition (link) BibTeX
• Joseph M. Morris, Alexander Bunkenburg:
  A source of inconsistency in theories of nondeterministic functions. 77-89
  Electronic Edition (link) BibTeX

Volume 43, Number 2-3, May-June 2002

• Johan Nordlander:
  Polymorphic subtyping in O'Haskell. 93-127
  Electronic Edition (link) BibTeX
• Ralf Hinze:
  Polytypic values possess polykinded types. 129-159
  Electronic Edition (link) BibTeX
• Ian J. Hayes:
  Reasoning about real-time repetitions: terminating and nonterminating. 161-192
  Electronic Edition (link) BibTeX
• Sergei M. Abramov, Robert Glück:
  The universal resolving algorithm and its correctness: inverse computation in a functional language. 193-229
  Electronic Edition (link) BibTeX