ICFP

The International Conference on Functional Programming (ICFP) is a flagship annual conference in the field of programming languages with a focus on functional programming. It is organized by ACM SIGPLAN and is held at venues around the world, typically in the autumn. The conference brings together researchers and practitioners to present and discuss both theoretical and practical work related to functional programming languages and their implementations.

Topics covered at ICFP include language design and semantics, type systems, compilers and runtime systems, program analysis and verification, parallel and concurrent programming, domain-specific languages, functional reactive programming, and applications of functional programming. Submissions undergo peer review, and accepted papers are published in the conference proceedings and accessible through the ACM Digital Library.

ICFP is widely regarded as one of the premier venues for research in functional programming and broader programming languages topics, alongside other major venues such as POPL and PLDI. In addition to paper presentations, the conference often features invited talks, tutorials, and poster sessions. The exact format and accompanying events can vary from year to year, but the conference consistently serves as a key venue for disseminating new ideas, techniques, and results in functional programming.