Mechanisms for Improved Covariant Type-Checking

TitleMechanisms for Improved Covariant Type-Checking
Publication TypeJournal
Year of Publication2008
AuthorsK. Cleereman, Krishnaprasad Thirunarayan, M. Cheatham
Pagination1-17
PublisherComputer Languages, Systems and Structures
Full Text

K. Cleereman, M. Cheatham, and K. Thirunarayan. (April 2008). Mechanisms for Improved Covariant Type-Checking. Computer Languages, Systems and Structures, Vol. 1, pp. 1-17.