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

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