Mechanisms for improved covariant type-checking

Kevin Cleereman; Michelle Cheatham; Krishnaprasad Thirunarayan

doi:10.1016/j.cl.2006.03.001

Mechanisms for improved covariant type-checking

Kevin Cleereman, Michelle Cheatham, Krishnaprasad Thirunarayan

Wright State University

Research output: Contribution to journal › Article › peer-review

Original language	English
Pages (from-to)	1-17
Number of pages	17
Journal	Computer Languages, Systems and Structures
Volume	34
Issue number	1
DOIs	https://doi.org/10.1016/j.cl.2006.03.001
State	Published - Apr 2008

ASJC Scopus Subject Areas

Software
Computer Networks and Communications

Keywords

Covariance
Object-oriented programming languages
Type checking

Disciplines

Bioinformatics
Communication
Communication Technology and New Media
Computer Sciences
Databases and Information Systems
Life Sciences
OS and Networks
Physical Sciences and Mathematics
Science and Technology Studies
Social and Behavioral Sciences

Access to Document

10.1016/j.cl.2006.03.001

Cite this

@article{3641f0b6a6d2487583b1c8de465c875f,

title = "Mechanisms for improved covariant type-checking",

keywords = "Covariance, Object-oriented programming languages, Type checking",

author = "Kevin Cleereman and Michelle Cheatham and Krishnaprasad Thirunarayan",

year = "2008",

month = apr,

doi = "10.1016/j.cl.2006.03.001",

language = "English",

volume = "34",

pages = "1--17",

journal = "Computer Languages, Systems and Structures",

issn = "1477-8424",

number = "1",

}

TY - JOUR

T1 - Mechanisms for improved covariant type-checking

AU - Cleereman, Kevin

AU - Cheatham, Michelle

AU - Thirunarayan, Krishnaprasad

PY - 2008/4

Y1 - 2008/4

KW - Covariance

KW - Object-oriented programming languages

KW - Type checking

UR - http://www.scopus.com/inward/record.url?scp=34447548975&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=34447548975&partnerID=8YFLogxK

UR - https://corescholar.libraries.wright.edu/knoesis/263

U2 - 10.1016/j.cl.2006.03.001

DO - 10.1016/j.cl.2006.03.001

M3 - Article

AN - SCOPUS:34447548975

SN - 1477-8424

VL - 34

SP - 1

EP - 17

JO - Computer Languages, Systems and Structures

JF - Computer Languages, Systems and Structures

IS - 1

ER -

Mechanisms for improved covariant type-checking

ASJC Scopus Subject Areas

Keywords

Disciplines

Access to Document

Other files and links

Cite this