ICFP
E71959
ICFP is an annual academic conference focused on functional programming, bringing together researchers and practitioners to present and discuss advances in the field.
Aliases (2)
Statements (48)
| Predicate | Object |
|---|---|
| instanceOf |
academic conference
→
computer science conference → functional programming conference → |
| audience |
practitioners
→
researchers → students → |
| category |
ACM conference
→
|
| digitalLibrary |
ACM Digital Library
→
|
| field |
computer science
→
functional programming → programming languages → |
| focus |
applications of functional programming
→
design of functional programming languages → implementation of functional programming languages → practice of functional programming → research in functional programming → theory of functional programming → |
| frequency |
annual
→
|
| fullName |
ACM SIGPLAN International Conference on Functional Programming
→
|
| hasAssociatedEvent |
ICFP Programming Contest
→
|
| heldIn |
various international locations
→
|
| includes |
industrial experience reports
→
invited talks → panel discussions → research paper presentations → tutorials → workshops → |
| language |
English
→
|
| organizer |
ACM SIGPLAN
→
|
| proceedingsPublisher |
ACM
→
|
| reviewProcess |
peer review
→
|
| scope |
international
→
|
| sponsor |
ACM
→
ACM SIGPLAN → |
| startYear |
1996
→
|
| submissionType |
peer-reviewed research papers
→
|
| topic |
compilers for functional languages
→
concurrent functional programming → domain-specific languages → formal semantics of functional languages → functional programming in industry → functional reactive programming → lambda calculus → metaprogramming in functional languages → parallel functional programming → program verification → runtime systems for functional languages → type systems → |
Referenced by (3)
| Subject (surface form when different) | Predicate |
|---|---|
|
ICFP
("ICFP Programming Contest")
→
|
hasAssociatedEvent |
|
ACM conferences
("ACM ICFP")
→
|
include |
|
SIGPLAN
→
|
sponsor |