Data-oriented languages may benefit from a rich kind structure. We have shown that kinds can provides a framework for relational and database-wide operations, for subtype relations, for schema computations, and perhaps even for schema evolution.
CITATION STYLE
Cardelli, L. (1988). Types for data-oriented languages. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 303 LNCS, pp. 1–15). Springer Verlag. https://doi.org/10.1007/3-540-19074-0_44
Mendeley helps you to discover research relevant for your work.