ICFP

ICFP 2025 with ICFP/SPLASH 2025

Welcome to the website of the ICFP 2025 conference. The ACM SIGPLAN International Conference on Functional Programming (ICFP) is an annual programming language conference that provides a forum for researchers and developers to hear about the latest work on the design, implementations, principles, and uses of functional programming. The conference covers the entire spectrum of work, from practice to theory, inclu ...

ICFP 2024

with Haskell 2024, Erlang 2024, FARM 2024, FProPer 2024, FUNARCH 2024, HIW 2024, HOPE 2024, ML 2024, OCaml 2024, PLMW @ ICFP 2024, Scheme 2024, TyDe 2024, miniKanren 2024

The 29th ACM SIGPLAN International Conference on Functional Programming will be in Milan, Italy, in September 2024.

ICFP 2023

with Haskell 2023, DeclMed 2023, Erlang 2023, FARM 2023, FHPNC 2023, FUNARCH 2023, HIW 2023, HOPE 2023, Higher-order, Typed, Inferred, Strict: ML Family Workshop 2023, OCaml 2023, PLMW @ ICFP 2023, Scheme 2023, TyDe 2023, miniKanren 2023

The 28th ACM SIGPLAN International Conference on Functional Programming will be in Seattle, WA, USA on 4–9 September 2023. ICFP’s main research paper track will be on September 5-7 (Tuesday-Thursday), with workshops, tutorials, and other events on September 4 and 8-9 (Monday, and Friday-Saturday). Registration is now open! To locate the rooms, you can click here to view the floor plans provided by The Westin S ...

ICFP 2022

with Haskell 2022, Erlang 2022, FARM 2022, FHPNC 2022, FUNARCH 2022, HIW 2022, HOPE 2022, ML 2022, OCaml 2022, PLMW @ ICFP 2022, PLanQC 2022, Scheme 2022, TyDe 2022, miniKanren 2022

The 27th ACM SIGPLAN International Conference on Functional Programming took place in Ljubljana, Slovenia, on 11-16 September 2022.

ICFP 2021

with Haskell 2021, Erlang 2021, FARM 2021, FHPNC 2021, HIW 2021, HOPE 2021, ML 2021, OCaml 2021, PLMW @ ICFP 2021, Scheme 2021, TyDe 2021, miniKanren 2021

SIGPLAN CARES will be hosting two sessions on Tuesday, August 24th (tomorrow). The topic for these sessions is creating inclusive conferences and we will discuss the inclusion survey. We’d love for everyone at ICFP to fill out the inclusion survey. ICFP is being held on Airmeet - if you haven’t received an email about it with an invite, please email to videos.icfp21@kaist.ac.kr. Please check the guides for atte ...

ICFP 2020

with Haskell 2020, Erlang 2020, FARM 2020, FHPNC 2020, HIW 2020, HOPE 2020, ML 2020, OCaml 2020, PLMW @ ICFP 2020, Scheme 2020, TyDe 2020, miniKanren 2020

ICFP 2020 is the 25th ACM SIGPLAN International Conference on Functional Programming. The conference was a virtual event during the dates of August 23-26, 2020 and all activities took place online. The main program featured two keynotes, technical presentations for papers appearing in PACMPL Vol 4: Issue ICFP, as well as an awards session, and a special session of papers recently appearing in the Journal of Func ...

ICFP 2019

with Haskell 2019, Erlang 2019, FARM 2019, FHPNC 2019, HIW 2019, ML 2019, OCaml 2019, PLMW @ ICFP 2019, Scheme 2019, TyDe 2019, miniKanren 2019

ICFP 2019 is the 24th ACM SIGPLAN International Conference on Functional Programming. The main conference will take place during August 19-21, 2019 at the Hotel Scandic Berlin Potsdamer Platz. Co-located workshops and tutorials will take place on August 18 and 22-23. This year, ICFP is also co-located with BOBKonf, which will take place on August 21 at the same venue. In addition, Racketfest will take place on Au ...

ICFP 2018

with Haskell 2018, Scala 2018, Erlang 2018, FARM 2018, FHPC 2018, HIW 2018, HOPE 2018, ML 2018, NPFL 2018, OCaml 2018, PLMW @ ICFP 2018, Scheme 2018, TyDe 2018

Videos from ICFP 2018 are now available. ICFP 2018 is the 23rd ACM SIGPLAN International Conference on Functional Programming. This year, ICFP is colocated with Strange Loop! Considering attending ICFP for the first time? See our brief explainer. The conference booklet includes the schedule, sponsors, committees, and more. Recipients of the ICFP Distinguished Paper Award are now shown in the program.

ICFP 2017

with CUFP 2017, FSCD 2017, Haskell 2017, Erlang 2017, FARM 2017, FHPC 2017, HIW 2017, HOPE 2017, ML 2017, OCaml 2017, PLMW 2017, Scheme 2017, TyDe 2017

ICFP 2017 is the 22nd ACM SIGPLAN International Conference on Functional Programming. ICFP provides a forum for researchers and developers to hear about the latest work on the design, implementations, principles, and uses of functional programming. The conference covers the entire spectrum of work, from practice to theory, including its peripheries. This year, there are keynotes from Chris Martens and John Launc ...

ICFP 2016

with CUFP 2016, Haskell 2016, Erlang 2016, FARM 2016, FHPC 2016, HIW 2016, HOPE 2016, ML 2016, OCaml 2016, PLMW 2016, Scheme 2016, TyDe 2016

ICFP 2016 is the 21st ACM SIGPLAN International Conference on Functional Programming. ICFP provides a forum for researchers and developers to hear about the latest work on the design, implementations, principles, and uses of functional programming. The conference covers the entire spectrum of work, from practice to theory, including its peripheries. During the conference there will be a Student Research Competi ...