International Conference on Functional Programming: Difference between revisions

Revision as of 13:48, 18 March 2006

Latest revision as of 09:31, 28 December 2024

(40 intermediate revisions by 28 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 [[computeracademic scienceconference]] in the field of [[academiccomputer conferencescience]] 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 beganwas infirst [[1997]]held asin a1996, merging ofreplacing 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 ICFP also has also held an open annual programming contest since [[1998]], called the [[ICFP Programming Contest]].

==External linksHistory ==

* 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]])

* [http://www.cs.luc.edu/icfp/ ICFP main site]

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

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

== See also ==

{{compu-stub}}

; 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==

[[Category:Computer science conferences]]

{{reflist}}

[[Category:International conferences]]

==External links==

* [httphttps://www.csicfpconference.luc.edu/icfporg/ ICFP main site]

* [httphttps://icfp06icfp23.cssigplan.uchicago.eduorg/ ICFP 20062023 conference]

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

{{Authority control}}

[[Category:Functional programming]]

[[Category:InternationalProgramming languages conferences]]

[[Category:Computer science conferences]]

{{compu-conference-stub}}