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
  
• Patrik Jansson, Johan Jeuring:
  Polytypic data conversion programs. 35-75
  
• Joseph M. Morris, Alexander Bunkenburg:
  A source of inconsistency in theories of nondeterministic functions. 77-89
  

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

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

Last update Sat May 25 20:59:59 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page