@inproceedings{f7ead935aae44f0e87c46495574d4e1c,
title = "Integrating subtyping, matching and type quantification: A practical perspective",
abstract = "We report on our experience gained in designing, implementing and using a strongly-typed persistent programming language (TooL) which integrates object types, subtyping, type matching, and type quantification. Our work complements recent type-theoretical studies of sub-typing and type matching by focusing on the issue of how to integrate both concepts into a practical, orthogonal programming language. We also shed some light on the subtle typing issues which we encountered during the construction of a substantial bulk data library where it was necessary to trade-off subtyping against type matching. Our practical experience suggests that the benefits of an integration of subtyping and type matching are achieved at the expense of a significant increase in modeling complexity.",
author = "Andreas Gawecki and Florian Matthes",
note = "Publisher Copyright: {\textcopyright} Springer-Verlag Berlin Heidelberg 1996.; 10th European Conference on Object-Oriented Programming, ECOOP 1996 ; Conference date: 08-07-1996 Through 12-07-1996",
year = "1996",
doi = "10.1007/bfb0053055",
language = "English",
isbn = "9783540614395",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "26--47",
editor = "Pierre Cointe and Pierre Cointe",
booktitle = "ECOOP 1996 – Object-Oriented Programming - 10th European Conference, Proceedings",
}