On Understanding Types, Data Abstraction, and Polymorphism

Cardelli, L., & Wegner, P. (1985). On Understanding Types, Data Abstraction, and Polymorphism. ACM Computing Surveys, 471-523.

Type

Journal article

Intellectual base

Primary research

Year

1985

DOI

10.1145/6041.6042

Link

https://doi.org/10.1145/6041.6042

Cited by

1 citation across 1 artifact.

Domain-specific

• Object-Oriented Programming
  • Cardelli and Wegner distinguish subtyping, polymorphism, and data abstraction, clarifying that type compatibility and runtime object identity are related but independent structures.

Verification

This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.

Registry ID ref:e5e2235262eb · see in the full table