ICFP
Theoryλ§κ°ACM International Conference on Functional Programming
Rankings?
CORE
A
CCF
B
CSRankings
β
Deadlines
2026 (main)
π Indianapolis, IN, USA
π Deadline: 2026-02-19
π
Conference: 2026-08-24
Deadlines may change. Always verify on the official website before submitting.
Acceptance Rate?
No acceptance rate data available.
Best Papers
π 2025Distinguished Paper Award
First-Order Laziness
Anton Lorenzen, Daan Leijen, Wouter Swierstra, Sam Lindley
Laziness
π 2024Distinguished Paper Award
Error Credits: Resourceful Reasoning about Error Bounds for Higher-Order Probabilistic Programs
Alejandro Aguirre, Philipp G. Haselwarter, Markus de Medeiros, Kwing Hei Li, Simon Oddershede Gregersen, Joseph Tassarotti, Lars Birkedal
Probabilistic Programming
π 2023Distinguished Paper Award
The Verse Calculus: A Core Calculus for Deterministic Functional Logic Programming
Lennart Augustsson, Joachim Breitner, Koen Claessen, Ranjit Jhala, Simon Peyton Jones, Olin Shivers, Guy L. Steele Jr., Tim Sweeney
Functional Logic
π 2023Distinguished Paper Award
HasChor: Functional Choreographic Programming for All
Gan Shen, Shun Kashiwa, Lindsey Kuper
Choreography
π 2022Distinguished Paper Award
Entanglement Detection With Near-Zero Cost
Sam Westrick, Jatin Arora, Umut A. Acar
Parallelism
π 2021Distinguished Paper Award
Getting to the Point: Index Sets and Parallelism-Preserving Autodiff for Pointful Array Programming
Adam Paszke, Daniel D. Johnson, David Duvenaud, Dimitrios Vytiniotis, Alexey Radul, Matthew J. Johnson, Jonathan Ragan-Kelley, Dougal Maclaurin
Autodiff
π 2020Distinguished Paper Award
Retrofitting Parallelism onto OCaml
KC Sivaramakrishnan, Stephen Dolan, Leo White, Sadiq Jaffer, Tom Kelly, Anmol Sahoo, Sudha Parimala, Atul Dhiman, Anil Madhavapeddy
OCamlParallelism
π 2020Distinguished Paper Award
Liquid Information Flow Control
Nadia Polikarpova, Deian Stefan, Jean Yang, Shachar Itzhaky, Travis Hance, Armando Solar-Lezama
SecurityTypes
π 2020Distinguished Paper Award
A Quick Look at Impredicativity
Alejandro Serrano, Jurriaan Hage, Simon Peyton Jones, Dimitrios Vytiniotis
Type Inference