On understanding types, data abstraction, and polymorphism

  title={On understanding types, data abstraction, and polymorphism},
  author={L. Cardelli and P. Wegner},
  journal={ACM Comput. Surv.},
  • L. Cardelli, P. Wegner
  • Published 1985
  • Computer Science
  • ACM Comput. Surv.
  • Our objective is to understand the notion of type in programming languages, present a model of typed, polymorphic programming languages that reflects recent research in type theory, and examine the relevance of recent research to the design of practical programming languages. Object-oriented languages provide both a framework and a motivation for exploring the interaction among the concepts of type, data abstraction, and polymorphism, since they extend the notion of type to data abstraction and… CONTINUE READING
    2,048 Citations
    A study of semantics, types and languages for databases and object-oriented programming
    • 11
    • Highly Influenced
    Higher-Order Subtyping with Type Intervals
    • 3
    • PDF
    Polymorphism and type inference in database programming
    • 66
    • PDF
    Polymorphic typing of an algorithmic language
    • 67
    Types and programming languages
    • 2,374
    • PDF
    Contextual polymorphism
    • 8
    • PDF


    • University of Cambridge, Computer Laboratory,
    • 1985