Papers in 2025
36
Papers, all years
1,065
Years indexed
31
Since
1996
Papers in main proceedings (DBLP)
Counts papers published in the venue's main DBLP volume each year. This is not an official acceptance count: it can include short papers and exclude workshop or companion volumes.
verified volumein progressnot yet verifiedClick a bar to open that year.
202536 papers✓ verified
Keywords
Phrases from paper titles, weighted against all venues so each venue's distinctive terms rise to the top.
Loading keywords...
Year by year
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
- 9Microsoft (United States)🇺🇸3
- 10University of Edinburgh🇬🇧3
- 11Laboratoire Méthodes Formelles🇫🇷3
- 12Lyon 1 Université🇫🇷2
Countries
- United States12
- United Kingdom8
- France7
- Germany6
- Japan4
- China3
- Denmark3
- Sweden2
- Australia1
- Belgium1
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.
Venues like ICFP
Closest by the phrases in their paper titles over the last five complete years.
- POPL ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages0.23typesseparation logichigher-orderalgebraicalgebraic effects
- OOPSLA Conference on Object-Oriented Programming Systems, Languages, and Applications0.20handlersseparation logiceffect handlerstypesgradual
- ECOOP European Conference on Object-Oriented Programming0.18pearltypesfunctional programmingseparation logicgradual
- PEPM ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation0.16typeshandlerseffect handlersalgebraictyped
- PLDI ACM SIGPLAN Conference on Programming Language Design and Implementation0.15typesseparation logicalgebraicalgebraic data typesprobabilistic programs
Authors
From DBLP author lists of the main volume. Names appear as DBLP lists them.
Authors per paper
3.3 in 2026
Papers by an entirely new team
24% in 2026
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
- Benjamin C. Pierce2000 to 202314
- François Pottier1996 to 202613
- Matthias Felleisen1999 to 202313
- Dimitrios Vytiniotis2006 to 202113
- Olin Shivers1997 to 202512