textbook "Types and Programming Languages"
E1093136
UNEXPLORED
"Types and Programming Languages" is a widely used foundational textbook in computer science that systematically introduces type systems and their role in the design and analysis of programming languages.
All labels observed (1)
| Label | Occurrences |
|---|---|
| textbook "Types and Programming Languages" canonical | 1 |
How this entity was disambiguated
This entity first appeared as the object of triple T14341824 — 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: textbook "Types and Programming Languages" Context triple: [Benjamin C. Pierce, knownFor, textbook "Types and Programming Languages"]
-
A.
Compilers: Principles, Techniques, and Tools
Compilers: Principles, Techniques, and Tools is a foundational computer science textbook that systematically covers the theory and practice of compiler design and implementation.
-
B.
CLtL (Common Lisp the Language) book
CLtL (Common Lisp the Language) is a foundational reference book that defines and explains the Common Lisp programming language.
-
C.
A Discipline of Programming
A Discipline of Programming is a seminal 1976 book by Edsger W. Dijkstra that rigorously develops program construction using formal mathematical reasoning and correctness proofs.
-
D.
Structure and Interpretation of Computer Programs
Structure and Interpretation of Computer Programs is a seminal computer science textbook by Harold Abelson and Gerald Jay Sussman that uses the Scheme language to teach fundamental principles of programming and software design.
-
E.
"Introduction to Automata Theory, Languages, and Computation"
"Introduction to Automata Theory, Languages, and Computation" is a foundational textbook in theoretical computer science that systematically develops the theory of automata, formal languages, and computational complexity.
- 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: textbook "Types and Programming Languages" Target entity description: "Types and Programming Languages" is a widely used foundational textbook in computer science that systematically introduces type systems and their role in the design and analysis of programming languages.
-
A.
Compilers: Principles, Techniques, and Tools
Compilers: Principles, Techniques, and Tools is a foundational computer science textbook that systematically covers the theory and practice of compiler design and implementation.
-
B.
CLtL (Common Lisp the Language) book
CLtL (Common Lisp the Language) is a foundational reference book that defines and explains the Common Lisp programming language.
-
C.
A Discipline of Programming
A Discipline of Programming is a seminal 1976 book by Edsger W. Dijkstra that rigorously develops program construction using formal mathematical reasoning and correctness proofs.
-
D.
Structure and Interpretation of Computer Programs
Structure and Interpretation of Computer Programs is a seminal computer science textbook by Harold Abelson and Gerald Jay Sussman that uses the Scheme language to teach fundamental principles of programming and software design.
-
E.
"Introduction to Automata Theory, Languages, and Computation"
"Introduction to Automata Theory, Languages, and Computation" is a foundational textbook in theoretical computer science that systematically develops the theory of automata, formal languages, and computational complexity.
- F. None of above. chosen
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.