International Conference on Functional Programming: Difference between revisions

Revision as of 12:54, 25 November 2010

Latest revision as of 09:31, 28 December 2024

(24 intermediate revisions by 15 users not shown)

Line 1:

{{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]] sponsored by the [[Association for Computing Machinery|ACM]] [[SIGPLAN]], in association with [[International Federation for Information Processing|IFIP]] Working Group 2.8 (Functional Programming).

The '''International Conference on Functional Programming''' ('''ICFP''') is an annual [[academic conference]] in the field of [[computer science]] sponsored by the [[Association for Computing Machinery|ACM]] [[SIGPLAN]], in association with [[International Federation for Information Processing|IFIP]] Working Group 2.8 (Functional Programming). The conference focuses on [[functional programming]] and related areas of [[programming language]]s, [[logic]], [[compiler]]s and [[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'''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 conference ___location alternates between Europe (odd-numbered years) and North America (even-numbered years).

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 [[Copenhagen]], [[Denmark]] (General Chair: [[Peter Thiemann]], [[University of Freiburg]]; Program Chair: [[Robert Bruce Findler|Robby Findler]], [[Northwestern University]])

== See also ==

; Related conferences

* FSCD : [[International Conference on Formal Structures for Computation and Deduction]]

* FLOPS: [[de:International ConferenceSymposium 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==

* [httphttps://www.icfpconference.org/icfp2008/ ICFP 2008main conferencesite]

i

* [httphttps://wwwicfp23.cssigplan.luc.edu/icfporg/ ICFP main2023 siteconference]

* [http://www.icfpconference.org/icfp2008/ ICFP 2008 conference]

* [http://www.informatik.uni-bonn.de/~ralf/icfp07.html ICFP 2007 conference]

* [http://icfp06.cs.uchicago.edu/ ICFP 2006 conference]

* [http://www.icfpcontest.org/ ICFP Programming Contest]

{{Authority control}}

{{formalmethods-stub}}

[[Category:Computer science conferences]]

[[Category:Functional programming]]

[[Category:Programming languages conferences]]

[[Category:Computer science conferences]]

{{compu-conference-stub}}

[[de:International Conference on Functional Programming]]