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
Copyright © Fri Dec 4 20:35:06 2009
by Michael Ley (ley@uni-trier.de)