Mechanisms for improved covariant type-checking

Authors:
Kevin Cleereman;Michelle Cheatham;Krishnaprasad Thirunarayan
Affiliations:
Air Force Research Laboratory, Information Directorate, Collaborative Technology Branch, WPAFB, OH 45433-7334, USA;Air Force Research Laboratory, Information Directorate, Collaborative Technology Branch, WPAFB, OH 45433-7334, USA;Department of Computer Science and Engineering, Wright State University, Dayton, OH 45435, USA
Venue:
Computer Languages, Systems and Structures
Year:
2008

Citing 6
Cited 0

Eiffel: the language

Eiffel: the language
Design patterns: elements of reusable object-oriented software

Design patterns: elements of reusable object-oriented software
Covariance and contravariance: conflict without a cause

ACM Transactions on Programming Languages and Systems (TOPLAS)
Object-oriented software construction (2nd ed.)

Object-oriented software construction (2nd ed.)
The C++ Programming Language, Third Edition

The C++ Programming Language, Third Edition
The Java Language Specification

The Java Language Specification

Quantified Score

Hi-index	0.00

Visualization

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.