Types for data-oriented languages

  • Luca Cardelli
Invited Paper

DOI: 10.1007/3-540-19074-0_44

Part of the Lecture Notes in Computer Science book series (LNCS, volume 303)
Cite this paper as:
Cardelli L. (1988) Types for data-oriented languages. In: Schmidt J.W., Ceri S., Missikoff M. (eds) Advances in Database Technology—EDBT '88. EDBT 1988. Lecture Notes in Computer Science, vol 303. Springer, Berlin, Heidelberg


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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag 1988

Authors and Affiliations

  • Luca Cardelli
    • 1
  1. 1.Digital Equipment Corporation, Systems Research CenterPalo Alto

Personalised recommendations