Types for data-oriented languages

This publication has 8 references indexed in Scilit:

• Structural subtyping and the notion of power type
  Published by Association for Computing Machinery (ACM) ,1988
• On understanding types, data abstraction, and polymorphism
  ACM Computing Surveys, 1985
• GALILEO: a strongly-typed, interactive conceptual language
  ACM Transactions on Database Systems, 1985
• Abstract types have existential types
  Published by Association for Computing Machinery (ACM) ,1985
• A semantics of multiple inheritance
  Lecture Notes in Computer Science, 1984
• An Approach to Persistent Programming
  The Computer Journal, 1983
• A language facility for designing database-intensive applications
  ACM Transactions on Database Systems, 1980
• Some high level language constructs for data of type relation
  ACM Transactions on Database Systems, 1977