Author: Gawecki, A. and Matthes, F.
Title: Integrating Subtyping, Matching and Type Quantification:
       A Practical Perspective},
Status: Accepted at ECOOP96
Source file: ecoop96.tex
Print file: ecoop96.ps