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.
All labels observed (3)
| Label | Occurrences |
|---|---|
| ICFP canonical | 4 |
| ACM ICFP | 1 |
| ICFP Programming Contest | 1 |
Statements (48)
| Predicate | Object |
|---|---|
| instanceOf |
academic conference
ⓘ
computer science conference ⓘ functional programming conference ⓘ |
| audience |
practitioners
ⓘ
researchers ⓘ students ⓘ |
| category |
ACM conferences
ⓘ
surface form:
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
self-linksurface differs
ⓘ
surface form:
ICFP Programming Contest
|
| heldIn | various international locations ⓘ |
| includes |
industrial experience reports
ⓘ
invited talks ⓘ panel discussions ⓘ research paper presentations ⓘ tutorials ⓘ workshops ⓘ |
| language | English ⓘ |
| organizer |
SIGPLAN
ⓘ
surface form:
ACM SIGPLAN
|
| proceedingsPublisher | ACM ⓘ |
| reviewProcess | peer review ⓘ |
| scope | international ⓘ |
| sponsor |
ACM
ⓘ
SIGPLAN ⓘ
surface form:
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 (6)
Full triples — surface form annotated when it differs from this entity's canonical label.
this entity surface form:
ICFP Programming Contest
this entity surface form:
ACM ICFP