Scholar4AI Updated 2026-11-02 12:20 UTC+09:00

ICFP: International Conference on Functional Programming — papers and institutions, 2024–2026

Papers of ICFP, International Conference on Functional Programming (CORE rank A; field: Software engineering), 2024–2026: per year, the institutions, countries and topics, and the most-cited papers. Ranks are those of the CORE Conference Rankings, edition ICORE2026 (portal.core.edu.au), applied to every year shown. Papers are the works OpenAlex lists for the conference's proceedings, or for the issues of a conference-linked journal that publishes its papers (such as PACMPL, PVLDB or ACM TOG), by publication year; workshops, companion volumes, posters and Findings are left out. A paper counts once for each institution and country among its authors' affiliations as OpenAlex assigns them; papers without affiliations in OpenAlex count for none. For conferences published in book series that OpenAlex files as one source (LNCS, LIPIcs, SIAM and IOS Press proceedings), the papers are found by DOI: those of the volumes with the conference's title in Crossref, or LIPIcs DOIs, which name the conference. Conferences without DOIs (PMLR, USENIX, OpenReview) are listed without counts. A dash (–) for a year means OpenAlex has no papers of the conference for it yet: the proceedings are not published or indexed yet, or the conference did not meet that year (some meet every other year). 2026 counts what OpenAlex had indexed by 2026-11-02. Also as Markdown.

Share: X LinkedIn Bluesky Threads Facebook Reddit Hacker News Hatena LINE Email
Copy:

← All conferences

Key findings#

  • ICFP (International Conference on Functional Programming) is rated A by the CORE Conference Rankings (ICORE2026); OpenAlex lists 110 of its papers from 2024–2026 (35 in 2024, 36 in 2025, 39 in 2026).
  • By the countries of the authors' institutions, the most papers come from the United States (37), the United Kingdom (22) and France (21).
  • The institutions with the most papers are Institut national de recherche en sciences et technologies du numérique (15), Centre National de la Recherche Scientifique (8) and University of Southern Denmark (6).
  • Its most-cited paper of these years is “Functional Networking for Millions of Docker Desktops (Experience Report)” (2025), with 16 citations.

Papers per year#

ICFP papers per publication year in OpenAlex (–: not in OpenAlex yet)
YearPapersWith affiliations
20243535
20253636
20263939

Sources#

Where OpenAlex lists the papers
OpenAlex sourceWhich papers
S4210216081Conference-linked journal (issue ICFP)

Who publishes there#

Institutions with the most ICFP papers, 2024–2026
#InstitutionPapers
1Institut national de recherche en sciences et technologies du numérique15
2Centre National de la Recherche Scientifique8
3University of Southern Denmark6
4University of Cambridge6
5École Normale Supérieure de Lyon5
6University of Toronto5
7Centre Inria de Saclay5
8New York University5
9University of Edinburgh5
10Lyon 1 Université4
Countries with the most ICFP papers, 2024–2026
#CountryPapers
1United States37
2United Kingdom22
3France21
4Denmark15
5Germany14
6Canada11
7Japan6
8China5
9Sweden5
10Hong Kong4
Keywords with the most ICFP papers, 2024–2026
#KeywordPapers
1Coq12
2formal verification8
3Agda7
4functional programming7
5program verification7
6separation logic7
7type inference7
8domain-specific languages6
9machine-checked proofs6
10type soundness6

Most-cited papers#

Most-cited ICFP papers of 2024–2026 (citations counted by OpenAlex)
#CitationsTitlePublishedAuthors
116Functional Networking for Millions of Docker Desktops (Experience Report)2025-08-05Anil Madhavapeddy, David J. Scott, Patrick Ferris et al.
215Oxidizing OCaml with Modal Memory Management2024-08-15Anton Lorenzen, Leo White, Stephen Dolan et al.
311Error Credits: Resourceful Reasoning about Error Bounds for Higher-Order Probabilistic Programs2024-08-15Alejandro Aguirre, Philipp G. Haselwarter, Markus de Medeiros et al.
49A Two-Phase Infinite/Finite Low-Level Memory Model: Reconciling Integer–Pointer Casts, Finite Space, and undef at the LLVM IR Level of Abstraction2024-08-15Calvin Beck, Irene Yoon, Hanxi Chen et al.
58Package Managers à la Carte: A Formal Model of Dependency Resolution2026-08-17Ryan Thomas Gibb, Patrick Ferris, David Allsopp et al.
68CCLemma: E-Graph Guided Lemma Discovery for Inductive Equational Proofs2024-08-15Cole Kurashige, Ruyi Ji, Aditya Giridharan et al.
78Sound Borrow-Checking for Rust via Symbolic Semantics2024-08-15Son Ho, Aymeric Fromherz, Jonathan Protzenko
86Closure-Free Functional Programming in a Two-Level Type Theory2024-08-15András Kovács
96Abstracting Effect Systems for Algebraic Effect Handlers2024-08-15T. Yoshioka, Taro Sekiyama, Atsushi Igarashi
106Staged Compilation with Module Functors2024-08-15Tsung-Ju Chiang, Jeremy Yallop, Leo White et al.

Conferences in the same field#

ICSE · ASE · ASPLOS · FSE · ISCA · PLDI · POPL · CAV · SIGMETRICS · DATE · OOPSLA · ISSTA · MODELS · MSR · SANER · ICST · EASE · RE · ICSME · TACAS · ICPC · CGO · ESEM · ISSRE · BPM · ICSA · IJCAR · SEAMS · ECOOP

Cite this page

Scholar4AI. (2026). ICFP: International Conference on Functional Programming — papers and institutions, 2024–2026. Journal and Conference Research Rankings. Retrieved November 2, 2026, from https://scholar4ai.com/proceedings/icfp

@misc{scholar4ai-proceedings-icfp,
  author = {{Scholar4AI}},
  title = {ICFP: International Conference on Functional Programming — papers and institutions, 2024–2026},
  year = {2026},
  howpublished = {\url{https://scholar4ai.com/proceedings/icfp}},
  urldate = {2026-11-02},
  note = {Journal and Conference Research Rankings; data from OpenAlex (CC0); licensed CC BY-NC 4.0}
}

Free to reuse for non-commercial purposes with attribution (CC BY-NC 4.0).