ACM SIGPLAN International Conference on Functional Programming
E355607
The ACM SIGPLAN International Conference on Functional Programming (ICFP) is a leading annual research conference focused on the design, implementation, theory, and application of functional programming languages and paradigms.
All labels observed (4)
| Label | Occurrences |
|---|---|
| International Conference on Functional Programming | 3 |
| ACM SIGPLAN International Conference on Functional Programming canonical | 2 |
| ACM SIGPLAN ICFP conference | 1 |
| ICFP | 1 |
How this entity was disambiguated
This entity first appeared as the object of triple T3413772 — 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 International Conference on Functional Programming Context triple: [ICFP, fullName, ACM SIGPLAN International Conference on Functional Programming]
-
A.
POPL conference proceedings
POPL conference proceedings are the collected scholarly papers presented at the ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, a leading venue for research in programming languages and formal methods.
-
B.
PLDI
PLDI (Programming Language Design and Implementation) is a premier annual research conference focused on the design, implementation, and analysis of programming languages and compilers.
-
C.
ACM SIGPLAN Most Influential ICFP Paper Award
The ACM SIGPLAN Most Influential ICFP Paper Award is a yearly honor recognizing the ICFP conference paper from a decade earlier that has had the greatest long-term impact on the field of functional programming.
-
D.
ACM SIGSOFT International Symposium on the Foundations of Software Engineering
The ACM SIGSOFT International Symposium on the Foundations of Software Engineering is a premier research conference focused on advancing the theory, techniques, and tools for software engineering.
-
E.
PLDI Student Research Competition
The PLDI Student Research Competition is an annual forum where undergraduate and graduate students present and discuss their research in programming languages and related areas, typically co-located with the PLDI conference.
- 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 International Conference on Functional Programming Target entity description: The ACM SIGPLAN International Conference on Functional Programming (ICFP) is a leading annual research conference focused on the design, implementation, theory, and application of functional programming languages and paradigms.
-
A.
POPL conference proceedings
POPL conference proceedings are the collected scholarly papers presented at the ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, a leading venue for research in programming languages and formal methods.
-
B.
PLDI
PLDI (Programming Language Design and Implementation) is a premier annual research conference focused on the design, implementation, and analysis of programming languages and compilers.
-
C.
ACM SIGPLAN Most Influential ICFP Paper Award
The ACM SIGPLAN Most Influential ICFP Paper Award is a yearly honor recognizing the ICFP conference paper from a decade earlier that has had the greatest long-term impact on the field of functional programming.
-
D.
ACM SIGSOFT International Symposium on the Foundations of Software Engineering
The ACM SIGSOFT International Symposium on the Foundations of Software Engineering is a premier research conference focused on advancing the theory, techniques, and tools for software engineering.
-
E.
PLDI Student Research Competition
The PLDI Student Research Competition is an annual forum where undergraduate and graduate students present and discuss their research in programming languages and related areas, typically co-located with the PLDI conference.
- F. None of above. chosen
Statements (46)
| Predicate | Object |
|---|---|
| instanceOf |
academic conference
ⓘ
annual event ⓘ computer science conference ⓘ |
| acronym | ICFP ⓘ |
| field |
computer science
ⓘ
functional programming ⓘ programming languages ⓘ |
| focusesOn |
applications of functional programming
ⓘ
compilers ⓘ concurrency in functional programming ⓘ design of functional programming languages ⓘ domain-specific languages ⓘ formal methods ⓘ functional reactive programming ⓘ implementation of functional programming languages ⓘ language design ⓘ parallelism in functional programming ⓘ program semantics ⓘ program verification ⓘ runtime systems ⓘ software engineering for functional programming ⓘ theory of functional programming ⓘ type systems ⓘ |
| frequency | annual ⓘ |
| hasComponent |
artifact evaluation
ⓘ
keynote talks ⓘ main research track ⓘ student research competition ⓘ tutorials ⓘ workshops ⓘ |
| hasEventType |
peer-reviewed conference
ⓘ
research conference ⓘ |
| hasReputation |
leading conference in functional programming
ⓘ
top-tier programming languages conference ⓘ |
| languageOfWorkOrName | English ⓘ |
| organizedBy |
SIGPLAN
ⓘ
surface form:
ACM SIGPLAN
Association for Computing Machinery ⓘ |
| relatedTo |
Haskell committee
ⓘ
surface form:
Haskell Symposium
PLDI ⓘ
surface form:
International Conference on Programming Language Design and Implementation
Journal of Functional Programming ⓘ Programming Language Design and Implementation ⓘ
surface form:
Principles of Programming Languages
|
| sponsor |
SIGPLAN
ⓘ
surface form:
ACM SIGPLAN
Association for Computing Machinery ⓘ |
| typicalSubmissionType |
experience report
ⓘ
research paper ⓘ tool demonstration ⓘ |
How these facts were elicited
The pipeline generated the facts above by prompting gpt-5.1 with this entity's name + description and the instruction below.
Instruction
You are a knowledge base construction expert. Given a subject entity and a description of it, return factual statements that you know for the subject as a JSON list of dictionaries(triples), where keys must be "subject", "predicate" and "object". The number of facts may be very high, between 25 to 50 or more, for very popular subjects. For less popular subjects, the number of facts can be very low, like 5 or 10. # Requirements - If you don't know the subject at all, return an empty list. - If the subject is not a named entity, return an empty list. - Include at least one triple where predicate is "instanceOf". - Do not get too wordy. - Separate several objects into multiple triples with one object.
Input
Subject: ACM SIGPLAN International Conference on Functional Programming Description of subject: The ACM SIGPLAN International Conference on Functional Programming (ICFP) is a leading annual research conference focused on the design, implementation, theory, and application of functional programming languages and paradigms.
Referenced by (7)
Full triples — surface form annotated when it differs from this entity's canonical label.
this entity surface form:
ICFP
ACM SIGPLAN Most Influential ICFP Paper Award
→
namedAfter
→
ACM SIGPLAN International Conference on Functional Programming
ⓘ
this entity surface form:
International Conference on Functional Programming
ACM SIGPLAN Most Influential ICFP Paper Award
→
associatedWithConference
→
ACM SIGPLAN International Conference on Functional Programming
ⓘ
ACM SIGPLAN Most Influential ICFP Paper Award
→
eligibleVenue
→
ACM SIGPLAN International Conference on Functional Programming
ⓘ
this entity surface form:
International Conference on Functional Programming
ACM SIGPLAN Most Influential ICFP Paper Award
→
typicalAnnouncementVenue
→
ACM SIGPLAN International Conference on Functional Programming
ⓘ
this entity surface form:
ACM SIGPLAN ICFP conference
ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation
→
relatedTo
→
ACM SIGPLAN International Conference on Functional Programming
ⓘ
this entity surface form:
International Conference on Functional Programming