Datatypes and Subtyping Export

@unpublished{citeulike:888492, abstract = {We study a calculus with both subtyping and datatype definitions. Our primary goal is to understand the interaction of subtyping with mutually recursive types, which raises difficulties beyond those addressed in previous studies. A second aim is to clarify the relations between structural subtyping and the user-declared subtyping found in languages such as C++, Eiffel, and Java. 1 Introduction Since its introduction in Hope [BMS80], the datatype construct has become a staple of modern...}, author = {Hosoya, Haruo and Pierce, Benjamin C. and Turner, David N.}, citeulike-article-id = {888492}, citeulike-linkout-0 = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.30.8739}, keywords = {subtyping, types}, posted-at = {2006-10-09 09:21:44}, priority = {2}, title = {Datatypes and Subtyping}, url = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.30.8739}, year = {1998} }

TY - UNPB ID - citeulike:888492 L3 - citeulike-article-id:888492 N2 - We study a calculus with both subtyping and datatype definitions. Our primary goal is to understand the interaction of subtyping with mutually recursive types, which raises difficulties beyond those addressed in previous studies. A second aim is to clarify the relations between structural subtyping and the user-declared subtyping found in languages such as C++, Eiffel, and Java. 1 Introduction Since its introduction in Hope [BMS80], the datatype construct has become a staple of modern... TI - Datatypes and Subtyping KW - subtyping KW - types AU - Hosoya, Haruo AU - Pierce, Benjamin AU - Turner, David PY - 1998/// UR - http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.30.8739 ER -