ACM SIGPLAN to the programming languages community
E1093133
UNEXPLORED
The ACM SIGPLAN Executive Committee is the elected leadership body that oversees and guides the activities, policies, and strategic direction of ACM’s Special Interest Group on Programming Languages.
All labels observed (1)
| Label | Occurrences |
|---|---|
| ACM SIGPLAN to the programming languages community canonical | 1 |
How this entity was disambiguated
This entity first appeared as the object of triple T14341749 — 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: ACM SIGPLAN to the programming languages community Context triple: [ACM SIGPLAN Executive Committee, represents, ACM SIGPLAN to the programming languages community]
-
A.
ACM SIGPLAN Conference on Systems, Programming, Languages, and Applications: Software for Humanity
The ACM SIGPLAN Conference on Systems, Programming, Languages, and Applications: Software for Humanity (SPLASH) is a premier annual research conference focusing on programming languages, software engineering, and systems that advance the state of software for real-world impact.
-
B.
ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
The ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL) is a premier annual research conference focusing on fundamental aspects of programming languages and programming systems theory.
-
C.
ACM Transactions on Programming Languages and Systems
ACM Transactions on Programming Languages and Systems is a peer-reviewed scholarly journal published by the Association for Computing Machinery that focuses on research in programming languages, compilers, and related systems.
-
D.
Types and Programming Languages (research contributions)
Types and Programming Languages (research contributions) refers to Tobias Nipkow’s influential work advancing the theory and mechanization of type systems and programming language semantics, particularly through formal verification and theorem proving.
-
E.
Pattern Languages of Programs conference
The Pattern Languages of Programs conference is a software engineering conference focused on the theory and practice of patterns in software design and development.
- 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: ACM SIGPLAN to the programming languages community Target entity description: The ACM SIGPLAN Executive Committee is the elected leadership body that oversees and guides the activities, policies, and strategic direction of ACM’s Special Interest Group on Programming Languages.
-
A.
ACM SIGPLAN Conference on Systems, Programming, Languages, and Applications: Software for Humanity
The ACM SIGPLAN Conference on Systems, Programming, Languages, and Applications: Software for Humanity (SPLASH) is a premier annual research conference focusing on programming languages, software engineering, and systems that advance the state of software for real-world impact.
-
B.
ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
The ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL) is a premier annual research conference focusing on fundamental aspects of programming languages and programming systems theory.
-
C.
ACM Transactions on Programming Languages and Systems
ACM Transactions on Programming Languages and Systems is a peer-reviewed scholarly journal published by the Association for Computing Machinery that focuses on research in programming languages, compilers, and related systems.
-
D.
Types and Programming Languages (research contributions)
Types and Programming Languages (research contributions) refers to Tobias Nipkow’s influential work advancing the theory and mechanization of type systems and programming language semantics, particularly through formal verification and theorem proving.
-
E.
Pattern Languages of Programs conference
The Pattern Languages of Programs conference is a software engineering conference focused on the theory and practice of patterns in software design and development.
- F. None of above. chosen
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.