View source for International Conference on Functional Programming

{{Short description|Annual academic conference in the field of computer science}}
The '''International Conference on Functional Programming''' ('''ICFP''') is an annual academic conference in the field of [[Computer science|computer science]] sponsored by the [[Organization:Association for Computing Machinery|ACM]] SIGPLAN, in association with [[Biography:International Federation for Information Processing|IFIP]] Working Group 2.8 (Functional Programming). The conference focuses on [[Functional programming|functional programming]] and related areas of [[Programming language|programming language]]s, [[Logic|logic]], [[Compiler|compiler]]s and [[Software development|software development]].<ref name="main">{{cite web|url=http://icfpconference.org/index.html|title=The ACM SIGPLAN International Conference on Functional Programming}}</ref>

The ICFP was first held in 1996, replacing two biennial conferences: the '''Functional Programming and Computer Architecture''' ('''FPCA''') and '''LISP and Functional Programming''' ('''LFP'''). The conference location alternates between Europe and North America, with occasional appearances in other continents.<ref name="policies">{{cite web|url=https://www.icfpconference.org/TheFunctioningofICFP.pdf|title=The Functioning of ICFP|date=2019|author=ICFP Steering Committee}}</ref> The conference usually lasts 3 days, surrounded by co-located workshops devoted to particular functional languages or application areas.

The ICFP has also held an open annual programming contest since 1998, called the ICFP Programming Contest.

== History ==
* 2012: 17th ACM SIGPLAN International Conference on Functional Programming in [[Place:Copenhagen|Copenhagen]], {{wipe|Denmark}} (General Chair: Peter Thiemann, [[Organization:University of Freiburg|University of Freiburg]]; Program Chair: [[Biography:Robert Bruce Findler|Robby Findler]], [[Organization:Northwestern University|Northwestern University]])

== See also ==
; Related conferences
* FSCD : International Conference on Formal Structures for Computation and Deduction
* FLOPS: International Symposium on Functional and Logic Programming
* IFL: International Symposia on Implementation and Application of Functional Languages
* ISMM: International Symposium on Memory Management
* MPC: International Conference on Mathematics of Program Construction
* PLDI: Programming Language Design and Implementation
* POPL: Principles of Programming Languages
* PPDP: International Conference on Principles and Practice of Declarative Programming
* TFP: Symposium on Trends in Functional Programming
* TLCA: International Conference on Typed Lambda Calculi and Applications
* TLDI: International Workshop on Types in Language Design and Implementation
* SAS: International Static Analysis Symposium
; Related journals
* [[Journal of Functional Programming]]
* Journal of Functional and Logic Programming
* [[Higher-Order and Symbolic Computation]]
* [[ACM Transactions on Programming Languages and Systems]]

==References==
{{reflist}}

==External links==
* [https://www.icfpconference.org/ ICFP main site]
* [https://icfp23.sigplan.org/ ICFP 2023 conference]
* [http://www.icfpcontest.org/ ICFP Programming Contest]


[[Category:Functional programming]]



{{Sourceattribution|International Conference on Functional Programming}}