Volume 43, Number 1, April 2002
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