论文信息 - Types for Data-Oriented Languages

Types for Data-Oriented Languages

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.

Luca Cardelli | L. Cardelli

[1] Nancy Jean Mccracken,et al. An investigation of a programming language with a polymorphic type structure. , 1979 .

[2] Renzo Orsini,et al. GALILEO: a strongly-typed, interactive conceptual language , 1985, TODS.

[3] Joachim W. Schmidt,et al. Some high level language constructs for data of type relation , 1977, TODS.

[4] John C. Mitchell,et al. Abstract types have existential types , 1985, POPL.

[5] John Mylopoulos,et al. A language facility for designing database-intensive applications , 1980, TODS.

[6] Luca Cardelli,et al. Structural subtyping and the notion of power type , 1988, POPL '88.

[7] Luca Cardelli,et al. On understanding types, data abstraction, and polymorphism , 1985, CSUR.

[8] Ronald Morrison,et al. An Approach to Persistent Programming , 1989, Comput. J..

[9] Luca Cardelli,et al. A Semantics of Multiple Inheritance , 1984, Information and Computation.

[10] John C. Mitchell,et al. Abstract types have existential type , 1988, TOPL.

[11] Atsushi Ohori,et al. Orderings and Types in Databases , 1990, DBPL.