“Types, Abstraction and Parametric Polymorphism”
E1382863
UNEXPLORED
“Types, Abstraction and Parametric Polymorphism” is a seminal paper in programming language theory that introduced and formalized the concept of parametric polymorphism and its role in type systems and data abstraction.
All labels observed (1)
| Label | Occurrences |
|---|---|
| “Types, Abstraction and Parametric Polymorphism” canonical | 1 |
How this entity was disambiguated
This entity first appeared as the object of triple T19559148 — resolving that mention is where its identity was fixed. The disambiguator weighed these candidate entities and picked the highlighted one (or “None”, minting a new entity). This is how homonymy is resolved: the same surface form can point to different entities.
NED1
Entity disambiguation (via context triple)
gpt-5-mini-2025-08-07
Target entity: “Types, Abstraction and Parametric Polymorphism” Context triple: [John C. Reynolds, notableWork, “Types, Abstraction and Parametric Polymorphism”]
-
A.
"Types and Programming Languages"
"Types and Programming Languages" is a widely acclaimed textbook that provides a rigorous, foundational introduction to type systems and programming language theory for computer science students and researchers.
-
B.
Hindley–Milner type system
The Hindley–Milner type system is a classical polymorphic type system used in many functional programming languages, notable for enabling type inference without explicit type annotations.
-
C.
"Advanced Topics in Types and Programming Languages"
"Advanced Topics in Types and Programming Languages" is a graduate-level computer science book that explores advanced concepts in type systems and their applications to programming language design and semantics.
-
D.
The Definition of Standard ML
The Definition of Standard ML is the formal language specification that rigorously defines the syntax and semantics of the Standard ML functional programming language.
-
E.
“Linear Types Can Change the World!”
“Linear Types Can Change the World!” is a seminal research paper in programming languages that advocates for the use of linear type systems to improve resource management, safety, and efficiency in software.
- F. None of above. chosen
- G. Unsure - the case is ambiguous/there is not enough information to decide.
NED2
Entity disambiguation (via description)
gpt-5-mini-2025-08-07
Target entity: “Types, Abstraction and Parametric Polymorphism” Target entity description: “Types, Abstraction and Parametric Polymorphism” is a seminal paper in programming language theory that introduced and formalized the concept of parametric polymorphism and its role in type systems and data abstraction.
-
A.
"Types and Programming Languages"
"Types and Programming Languages" is a widely acclaimed textbook that provides a rigorous, foundational introduction to type systems and programming language theory for computer science students and researchers.
-
B.
Hindley–Milner type system
The Hindley–Milner type system is a classical polymorphic type system used in many functional programming languages, notable for enabling type inference without explicit type annotations.
-
C.
"Advanced Topics in Types and Programming Languages"
"Advanced Topics in Types and Programming Languages" is a graduate-level computer science book that explores advanced concepts in type systems and their applications to programming language design and semantics.
-
D.
The Definition of Standard ML
The Definition of Standard ML is the formal language specification that rigorously defines the syntax and semantics of the Standard ML functional programming language.
-
E.
“Linear Types Can Change the World!”
“Linear Types Can Change the World!” is a seminal research paper in programming languages that advocates for the use of linear type systems to improve resource management, safety, and efficiency in software.
- F. None of above. chosen
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.