Type-Safe Compilation of Covariant Specialization: A Practical Case


Despite its lack of type safety, some typed object-oriented languages use covariant specialization for methods. In this work, we show how one may modify the semantics of languages that use covariant specialization in order to improve their type safety. We demonstrate our technique using O2, a strongly and statically typed object-oriented database… (More)
DOI: 10.1007/BFb0053054


Figures and Tables

Sorry, we couldn't extract any figures or tables for this paper.

Slides referencing similar topics