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