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

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
Externally published	Yes

ASJC Scopus Subject Areas

Software
Computer Networks and Communications

Keywords

Covariance
Object-oriented programming languages
Type checking

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

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

Access to Document

Other files and links

Cite this