On understanding types, data abstraction, and polymorphism

Luca Cardelli; Peter Wegner

doi:https://doi.org/10.1145/6041.6042

On understanding types, data abstraction, and polymorphism

1985 · ACM Computing Surveys · 1,681 citations · 1 from inside this corpus

The source holds an abstract for this work, but its best open-access copy is under no open licence, which does not permit us to republish the text. Read it at the source below.

4 of 4 neighbouring works in this corpus. Blue is what this paper cites; orange is what cites it, and a dashed line is one neighbour citing another. Only the largest labels are drawn — every node carries its full title on hover.

this paper works it cites works citing it node size = global citations · hover for the full title

Citation edge evidence

Each row is directed from the citing work to the cited work. Source status remains readable without the interactive graph.

The Generative Lexicon→On understanding types, data abstraction, and polymorphismLegacy edge — source detail unavailable
On understanding types, data abstraction, and polymorphism→Compilers: Principles, Techniques, and ToolsLegacy edge — source detail unavailable
On understanding types, data abstraction, and polymorphism→A Machine-Oriented Logic Based on the Resolution PrincipleLegacy edge — source detail unavailable
On understanding types, data abstraction, and polymorphism→A theory of type polymorphism in programmingLegacy edge — source detail unavailable
A theory of type polymorphism in programming→A Machine-Oriented Logic Based on the Resolution PrincipleLegacy edge — source detail unavailable

What this paper cites, inside the corpus

Paper	Year	Cited
Compilers: Principles, Techniques, and Tools	1986	8,175
A Machine-Oriented Logic Based on the Resolution Principle	1965	3,929
A theory of type polymorphism in programming	1978	2,214

What cites it, inside the corpus

Paper	Year	Cited
The Generative Lexicon	1995	2,673

Links

Download BibTeX · Download RIS · DOI · Open access copy · OpenAlex record

Topics

Logic, programming, and type systems	Computer Science
Formal Methods in Verification	Computer Science
Advanced Software Engineering Methodologies	Computer Science

Is this record sound?

complete

Nothing in this record contradicts itself and no field we check is missing.

supports2 author record(s) attached.
supports61 reference(s) recorded.
neutralThe DOI carries no year to check against.
supportsA title is present.

Provenance

Everything above was read from one stored OpenAlex payload, fetched 2026-09-04T03:58:56+00:00.

sha256 7bc26169e93749d1…