domains / families / research / acm-sigplan-international-conference-on-functional-programming
acm-sigplan-international-conference-on-functional-programming
separate
Use when targeting ACM SIGPLAN International Conference on Functional Programming (ICFP) or deciding whether a computer-science manuscript fits this venue. Encodes conference fit, framing, evidence bar, submission-cycle checks, rebuttal posture, and desk-reject risks for functional programming.
When to use
- targeting ACM SIGPLAN International Conference on Functional Programming (ICFP)
- deciding whether a computer-science manuscript fits this venue
- conference fit, framing, evidence bar, submission-cycle checks, rebuttal posture, and desk-reject risks for functional programming
- functional programming, type systems, semantics, compilers, theorem proving, and language design
- re-framing from journal style or arXiv style into a selective CS conference narrative
- evidence-gap, anonymity, artifact, rebuttal, or re-routing diagnosis for this venue
When not to use
- substitute for the current year's CFP, author kit, ethics policy, or submission portal
- generic CS paper until the introduction names the exact subcommunity, contribution type, and proof or empirical standard
- model checking, theorem-proving applications, and formal verification tools
- broader PL design/implementation to PLDI/POPL when FP is not central
Skill page
Source