ICFP 2027
International Conference on Function Programming
Software Engineering
147days left
Paper submission · Feb 25, 2027 ✓ verified
On the horizon · deadline is AoE (UTC-12)
All deadlines
Paper submissionFeb 25, 2027✓ verified
From past proceedings
Papers in ICFP's main DBLP volume each year, not official acceptance counts.
Papers in 2025
36
main DBLP volume
5-year change
-3%
vs 2020
Papers, all years
1,065
31 years since 1996
Authors per paper
3.5
2.7 in 2015
By an entirely new team
28%
of 2025 papers
Papers per year1996 to 2025
Read the 2025 proceedingsDBLP ↗
Top keywords, 2025
functionaldynamicfunctional pearllanguagesprogrammingreasoningsemanticstypeverifiedalgebraicalmostconcurrent
Venues like ICFP
- POPL ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages0.23typesseparation logichigher-orderalgebraic
- OOPSLA Conference on Object-Oriented Programming Systems, Languages, and Applications0.20handlersseparation logiceffect handlerstypes
- ECOOP European Conference on Object-Oriented Programming0.18pearltypesfunctional programmingseparation logic
- PEPM ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation0.16typeshandlerseffect handlersalgebraic
Most published at ICFP
- Simon L. Peyton Jones1996 to 201528
- Stephanie Weirich1998 to 202420
- Lars Birkedal2006 to 202517
- Derek Dreyer2005 to 202616
- Nicolas Wu2011 to 202315
Who publishes here
2025 to 2026 · papers count once per institution on them
Academia 69%Industry 6%Government and other 25%
Institutions
- 1Institut national de recherche en sciences et technologies du numérique🇫🇷7
- 2Centre National de la Recherche Scientifique🇫🇷4
- 3University of Southern Denmark🇩🇰4
- 4University of Cambridge🇬🇧4
- 5University of Oxford🇬🇧4
- 6Centre Inria de Saclay🇫🇷4
- 7Brigham Young University🇺🇸3
- 8École Normale Supérieure de Lyon🇫🇷3
Countries
- United States12
- United Kingdom8
- France7
- Germany6
- Japan4
- China3
Affiliations from OpenAlex for the papers DBLP lists. A paper with authors from three institutions counts for each of them; the split above is over the top institutions.