International Conference on Functional Programming: Difference between revisions

Revision as of 13:41, 21 December 2012

Latest revision as of 09:31, 28 December 2024

(16 intermediate revisions by 13 users not shown)

Line 1:

{{Short description|Annual academic conference in the field of computer science}}

The '''[[Association for Computing Machinery|ACM]] [[SIGPLAN]] 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 and Functional Programming''' ('''LFP'''). The conference ___location alternates between Europe (odd-numbered years) and North America, (even-numberedwith years)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]].

Line 7 ⟶ 8:

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

== Affiliated events ==

* Commercial Users of Functional Programming (CUFP)

* Erlang Workshop

* Haskell Symposium

* Functional and Declarative Programming in Education (FDPE)

* Functional Programming Developer Tracks (DEFUN)

* MEchanized Reasoning about Languages with varIable biNding (MERLIN)

* Workshop on Approaches and Applications of Inductive Programming

* Workshop on Curry and Functional Logic Programming

* Workshop on Generic Programming (WGP)

* Workshop on Mechanizing Metatheory (WMM)

* Workshop on ML

* Workshop on Scheme and Functional Programming

* Programming Languages meets Program Verification (PLPV) &mdash; 2007 only, now affiliated with [[POPL]]

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

Line 41 ⟶ 28:

* [[Higher-Order and Symbolic Computation]]

* [[ACM Transactions on Programming Languages and Systems]]

==References==

{{reflist}}

==External links==

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

* [httphttps://wwwicfp23.icfpconferencesigplan.org/icfp2008/ ICFP 20082023 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]]