International Conference on Functional Programming: Difference between revisions

Revision as of 03:26, 5 May 2023

Latest revision as of 09:31, 28 December 2024

(5 intermediate revisions by 5 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 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>

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

* [http://www.schemeworkshop.org/ Workshop on Scheme and Functional Programming]

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

==References==

{{reflist}}

== 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 44 ⟶ 28:

* [[Higher-Order and Symbolic Computation]]

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

==References==

{{reflist}}

==External links==

Line 51 ⟶ 38:

{{Authority control}}

[[Category:Computer science conferences]]

[[Category:Functional programming]]

[[Category:Programming languages conferences]]

[[Category:Computer science conferences]]