On Understanding Types, Data Abstraction, and Polymorphism.

Luca Cardelli Peter Wegner

Published in: ACM Comput. Surv. (1985)

Keyphrases

data abstraction
conceptual modelling
database management
object oriented databases
conceptual modeling
formal specification
abstract data types
databases
data structure
preprocessing
spatio temporal
management system
object oriented