Volume 43, Number 1, April 2002
Volume 43, Number 2-3, May-June 2002
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
- Johan Nordlander:
Polymorphic subtyping in O'Haskell.
- Ralf Hinze:
Polytypic values possess polykinded types.
- Ian J. Hayes:
Reasoning about real-time repetitions: terminating and nonterminating.
- Sergei M. Abramov, Robert Glück:
The universal resolving algorithm and its correctness: inverse computation in a functional language.