Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
419188 | Computer Languages, Systems & Structures | 2008 | 17 Pages |
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.
Keywords
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
Authors
Kevin Cleereman, Michelle Cheatham, Krishnaprasad Thirunarayan,