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 Statements 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

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.

ICFP → fullName → ACM SIGPLAN International Conference on Functional Programming ⓘ
PADL → relatedTo → ACM SIGPLAN International Conference on Functional Programming ⓘ
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