Volume 9,
Number 1,
January 1999
Volume 9,
Number 2,
March 1999
Volume 9,
Number 3,
May 1999
Functional Pearls
Volume 9,
Number 4,
May 1999
Functional Pearls
Volume 9,
Number 5,
May 1999
Theoretical Pearl
Volume 9,
Number 6,
November 1999
Theoretical Pearls
- Gilles Barthe:
Type-checking injective pure type systems.
685-698
Copyright © Tue Nov 10 00:53:01 2009
by Michael Ley (ley@uni-trier.de)