@article{journals/corr/cs-LO-9906013,
        title = {Combining Inclusion Polymorphism and Parametric Polymorphism},
        author = {Sabine Glesner and Karl Stroetmann},
        journal = {CoRR},
        note = {informal publication},
        volume = {cs.LO/9906013},
        year = 1999,
        url = {http://dblp.uni-trier.de/db/journals/corr/corr9906.html#cs-LO-9906013},
        description = {dblp},
	biburl = {http://www.bibsonomy.org/bibtex/2b1e4ff1657e631767829af0962b3eeaa/dblp},
	keywords = {dblp},
    ee = {http://arxiv.org/abs/cs.LO/9906013}, date = {2008-01-02}}