Skip to main content
profile image
Selected Works of Krishnaprasad Thirunarayan
Article
Mechanisms for Improved Covariant Type-Checking
Computer Languages, Systems & Structures
  • Kevin Cleereman
  • Michelle Cheatham
  • Krishnaprasad Thirunarayan, Wright State University - Main Campus
Find in your library
Document Type
Article
Publication Date
1-1-2008
Disciplines
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.

DOI
10.1016/j.cl.2006.03.001
Citation Information
Kevin Cleereman, Michelle Cheatham and Krishnaprasad Thirunarayan. "Mechanisms for Improved Covariant Type-Checking" Computer Languages, Systems & Structures Vol. 34 Iss. 1 (2008) p. 1 - 17 ISSN: 1477-8424
Available at: http://works.bepress.com/tk_prasad/46/