Mechanisms for Improved Covariant Type-Checking

Authors

Kevin Cleereman
Michelle Cheatham
Krishnaprasad Thirunarayan, Wright State University - Main CampusFollow

Document Type

Article

Publication Date

2008

Abstract

Covariant types are a powerful language feature for improving type-safety. However, covariant types complicate type-checking when combined with polymorphism. We propose two new language features that can improve type-checking in a language with polymorphism and covariant typing, and also have the potential to improve efficiency as well. Published by Elsevier Ltd.

Repository Citation

Cleereman, K., Cheatham, M., & Thirunarayan, K. (2008). Mechanisms for Improved Covariant Type-Checking. Computer Languages, Systems & Structures, 34 (1), 1-17.
https://corescholar.libraries.wright.edu/knoesis/263

DOI

10.1016/j.cl.2006.03.001