Types

  • Authors:
  • Affiliations:
  • Venue:
  • Proceedings of the 1980 workshop on Data abstraction, databases and conceptual modeling
  • Year:
  • 1980

Quantified Score

Hi-index 0.00

Visualization

Abstract

Rowe: Data typing is a technique that researchers in the various areas use to solve a variety of problems. This session focuses on how types are used in a particular domain to solve particular kinds of problems. The long term goal is to answer the question, what is a type? To begin we will have presentations by representatives from the three areas, AI, DB and PL, on how they see types being used. Mary Shaw will begin and will be followed by Ira Goldstein and Ted Codd.