Types for data-oriented languages

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 303 LNCS, Issue , 1988, Pages 1-15

  Cardelli, Luca ^a  

^a HEWLETT PACKARD COMPANY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTERS;

SCHEMA EVOLUTION;

DATABASE SYSTEMS;

EID: 85031998445     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-19074-0_44     Document Type: Conference Paper

References (13)

1. A. Albano, L. Cardelli, R. Orsini: Galileo: a strongly typed, interactive conceptual language, Transactions on Database Systems, June 1985, 10(2), pp. 230–260.
2. M. P. Atkinson, P. J. Bailey, K. J. Chisholm, W. P. Cockshott, R. Morrison: An approach to persistent programming, Computer Journal 26(4), November 1983.
3. P. Buneman, A. Ohori: Using powerdomains to generalize relational databases, submitted for publication.
4. L. Cardelli: A semantics of multiple inheritance, in Semantics of Data Types, G. Kahn, D. B. MacQueen and G. Plotkin Ed. Lecture Notes in Computer Science n. 173, Springer-Verlag 1984.
5. L. Cardelli: Structural subtyping and the notion of power type, Proc. POPL 1988.
6. L. Cardelli, P. Wegner: On understanding types, data abstraction and polymorphism, Computing Surveys, Vol 17 n. 4, pp 471–522, December 1985.
7. N. McCracken: An investigation of a programming language with a polymorphic type structure, Ph. D. Thesis, Syracuse University, June 1979.
8. J. C. Mitchell, G. D. Plotkin: Abstract types have existential type, Proc. POPL 1985.
9. J. Mylopoulos, P. A. Bernstein, H. K. T. Wong: A language facility for designing database intensive applications, ACM Transactions on Database Systems 5(2), June 1980.
10. A. Ohori: Orderings and types in databases, Proc. of the Workshop on Database Programming Languages, Roscoff, France, September 1987.
11. Persistent Programming Research Group: The PS-algol reference manual — second edition, Technical Report PPR-12-85, University of Glasgow, Dept. of Computing Science, Glasgow G12 8QQ, Scotland, 1985.
12. J. M. Smith, S. Fox, T. Landers: Adaplex: rationale and reference manual, second edition, Computer Corporation of America, Four Cambridge Center, Cambridge, Mass. 02142, 1983.
13. J. W. Schmidt: Some high level language constructs for data of type relation, ACM Transaction on Database Systems 2(3), pp. 247–281, September 1977.