---
title: "ICFP (A): papers and universities"
description: "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)."
url: https://scholar4ai.com/proceedings/icfp
markdown_url: https://scholar4ai.com/proceedings/icfp.md
license: CC BY-NC 4.0 (https://creativecommons.org/licenses/by-nc/4.0/)
share_text: "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). (as of 2026-11-02)"
data_url: https://scholar4ai.com/data/rankings.json
updated: 2026-11-02T12:20:52+09:00
window: 2026-10-04 to 2026-11-02
source: OpenAlex (CC0)
---

# 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.

All conferences: https://scholar4ai.com/proceedings.md

## 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)*

| Year | Papers | With affiliations |
|---|---:|---:|
| 2024 | 35 | 35 |
| 2025 | 36 | 36 |
| 2026 | 39 | 39 |

## Sources

*Where OpenAlex lists the papers*

| OpenAlex source | Which papers |
|---|---|
| [S4210216081](https://openalex.org/S4210216081) | Conference-linked journal (issue ICFP) |

## Who publishes there

*Institutions with the most ICFP papers, 2024–2026*

| # | Institution | Papers |
|---:|---|---:|
| 1 | Institut national de recherche en sciences et technologies du numérique | 15 |
| 2 | [Centre National de la Recherche Scientifique](https://scholar4ai.com/institutions/centre-national-de-la-recherche-scientifique.md) | 8 |
| 3 | University of Southern Denmark | 6 |
| 4 | University of Cambridge | 6 |
| 5 | École Normale Supérieure de Lyon | 5 |
| 6 | [University of Toronto](https://scholar4ai.com/institutions/university-of-toronto.md) | 5 |
| 7 | Centre Inria de Saclay | 5 |
| 8 | New York University | 5 |
| 9 | University of Edinburgh | 5 |
| 10 | Lyon 1 Université | 4 |

*Countries with the most ICFP papers, 2024–2026*

| # | Country | Papers |
|---:|---|---:|
| 1 | United States | 37 |
| 2 | United Kingdom | 22 |
| 3 | France | 21 |
| 4 | Denmark | 15 |
| 5 | Germany | 14 |
| 6 | Canada | 11 |
| 7 | Japan | 6 |
| 8 | China | 5 |
| 9 | Sweden | 5 |
| 10 | Hong Kong | 4 |

*Keywords with the most ICFP papers, 2024–2026*

| # | Keyword | Papers |
|---:|---|---:|
| 1 | Coq | 12 |
| 2 | formal verification | 8 |
| 3 | Agda | 7 |
| 4 | functional programming | 7 |
| 5 | program verification | 7 |
| 6 | separation logic | 7 |
| 7 | type inference | 7 |
| 8 | domain-specific languages | 6 |
| 9 | machine-checked proofs | 6 |
| 10 | type soundness | 6 |

## Most-cited papers

*Most-cited ICFP papers of 2024–2026 (citations counted by OpenAlex)*

| # | Citations | Title | Published | Authors |
|---:|---:|---|---|---|
| 1 | 16 | [Functional Networking for Millions of Docker Desktops (Experience Report)](https://doi.org/10.1145/3747525) | 2025-08-05 | Anil Madhavapeddy, David J. Scott, Patrick Ferris et al. |
| 2 | 15 | [Oxidizing OCaml with Modal Memory Management](https://doi.org/10.1145/3674642) | 2024-08-15 | Anton Lorenzen, Leo White, Stephen Dolan et al. |
| 3 | 11 | [Error Credits: Resourceful Reasoning about Error Bounds for Higher-Order Probabilistic Programs](https://doi.org/10.1145/3674635) | 2024-08-15 | Alejandro Aguirre, Philipp G. Haselwarter, Markus de Medeiros et al. |
| 4 | 9 | [A Two-Phase Infinite/Finite Low-Level Memory Model: Reconciling Integer–Pointer Casts, Finite Space, and undef at the LLVM IR Level of Abstraction](https://doi.org/10.1145/3674652) | 2024-08-15 | Calvin Beck, Irene Yoon, Hanxi Chen et al. |
| 5 | 8 | [Package Managers à la Carte: A Formal Model of Dependency Resolution](https://doi.org/10.1145/3828699) | 2026-08-17 | Ryan Thomas Gibb, Patrick Ferris, David Allsopp et al. |
| 6 | 8 | [CCLemma: E-Graph Guided Lemma Discovery for Inductive Equational Proofs](https://doi.org/10.1145/3674653) | 2024-08-15 | Cole Kurashige, Ruyi Ji, Aditya Giridharan et al. |
| 7 | 8 | [Sound Borrow-Checking for Rust via Symbolic Semantics](https://doi.org/10.1145/3674640) | 2024-08-15 | Son Ho, Aymeric Fromherz, Jonathan Protzenko |
| 8 | 6 | [Closure-Free Functional Programming in a Two-Level Type Theory](https://doi.org/10.1145/3674648) | 2024-08-15 | András Kovács |
| 9 | 6 | [Abstracting Effect Systems for Algebraic Effect Handlers](https://doi.org/10.1145/3674641) | 2024-08-15 | T. Yoshioka, Taro Sekiyama, Atsushi Igarashi |
| 10 | 6 | [Staged Compilation with Module Functors](https://doi.org/10.1145/3674649) | 2024-08-15 | Tsung-Ju Chiang, Jeremy Yallop, Leo White et al. |

## 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

```bibtex
@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}
}
```

License: CC BY-NC 4.0 (https://creativecommons.org/licenses/by-nc/4.0/).