• Source: International Conference on Functional Programming

The International Conference on Functional Programming (ICFP) is an annual academic conference in the field of computer science sponsored by the ACM SIGPLAN, in association with IFIP Working Group 2.8 (Functional Programming). The conference focuses on functional programming and related areas of programming languages, logic, compilers and software development.
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. 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: Robby Findler, 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






External links


ICFP main site
ICFP 2023 conference
ICFP Programming Contest

Kata Kunci Pencarian:

• Pemrograman kompetitif
• Komputasi terdistribusi
• Dynamic Systems Development Method
• Goal-oriented requirements engineering
• Mesin finite-state
• International Conference on Functional Programming
• Functional programming
• Monad (functional programming)
• Racket (programming language)
• Simon Thompson (professor)
• Programming language theory
• LFP
• ICFP Programming Contest
• Symposium on Principles of Programming Languages
• Erlang (programming language)