ACM SIGPLAN International Conference on Functional Programming

E355607

academic conference annual event computer science conference

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.

Try in SPARQL Jump to: Surface forms Disambiguation Statements Elicitation Referenced by

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	ACM SIGPLAN ⓘ linked to: SIGPLAN Association for Computing Machinery ⓘ
relatedTo	Haskell Symposium ⓘ linked to: Haskell committee International Conference on Programming Language Design and Implementation ⓘ linked to: PLDI Journal of Functional Programming ⓘ Principles of Programming Languages ⓘ linked to: Programming Language Design and Implementation
sponsor	ACM SIGPLAN ⓘ linked to: SIGPLAN Association for Computing Machinery ⓘ
typicalSubmissionType	experience report ⓘ research paper ⓘ tool demonstration ⓘ

How these facts were elicited