International Conference on Functional Programming
Encyclopedia
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 language
s, logic
, compiler
s and software development
.
The ICFP was first held in 1996, replacing two biennial conferences: 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-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
. Affiliated events include the Haskell Symposium and the Workshop on Generic Programming (WGP).
Related journals
Academic conference
An academic conference or symposium is a conference for researchers to present and discuss their work. Together with academic or scientific journals, conferences provide an important channel for exchange of information between researchers.-Overview:Conferences are usually composed of various...
in the field of computer science
Computer science
Computer science or computing science is the study of the theoretical foundations of information and computation and of practical techniques for their implementation and application in computer systems...
sponsored by the ACM
Association for Computing Machinery
The Association for Computing Machinery is a learned society for computing. It was founded in 1947 as the world's first scientific and educational computing society. Its membership is more than 92,000 as of 2009...
SIGPLAN
SIGPLAN
SIGPLAN is the Association for Computing Machinery's Special Interest Group on programming languages.- Conferences :* Principles of Programming Languages * Programming Language Design and Implementation...
, in association with IFIP
International Federation for Information Processing
The International Federation for Information Processing is an umbrella organization for national societies working in the field of information technology. It is a non-governmental, non-profit organization with offices in Laxenburg, Austria...
Working Group 2.8 (Functional Programming).
The conference focuses on functional programming
Functional programming
In computer science, functional programming is a programming paradigm that treats computation as the evaluation of mathematical functions and avoids state and mutable data. It emphasizes the application of functions, in contrast to the imperative programming style, which emphasizes changes in state...
and related areas of programming language
Programming language
A programming language is an artificial language designed to communicate instructions to a machine, particularly a computer. Programming languages can be used to create programs that control the behavior of a machine and/or to express algorithms precisely....
s, logic
Logic
In philosophy, Logic is the formal systematic study of the principles of valid inference and correct reasoning. Logic is used in most intellectual activities, but is studied primarily in the disciplines of philosophy, mathematics, semantics, and computer science...
, compiler
Compiler
A compiler is a computer program that transforms source code written in a programming language into another computer language...
s and software development
Software development
Software development is the development of a software product...
.
The ICFP was first held in 1996, replacing two biennial conferences: 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-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
ICFP Programming Contest
The ICFP Programming Contest is an international programming competition held annually around June or July since 1998, with results announced at the International Conference on Functional Programming....
. Affiliated events include the Haskell Symposium and the Workshop on Generic Programming (WGP).
See also
Related conferences- FLOPS: International Symposium on Functional and Logic Programming
- IFL: International Symposia on Implementation and Application of Functional Languages
- ISMM: International Symposium on Memory ManagementInternational Symposium on Memory ManagementThe International Symposium on Memory Management is an ACM SIGPLAN symposium on memory management. Before becoming a conference it was known as the International Workshop on Memory Management .- History :...
- 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 ProgrammingSymposium on Trends in Functional ProgrammingThe Symposium on Trends in Functional Programming is focused on research in the field of functional programming and investigating relationships with other branches of computer science....
- 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 ProgrammingJournal of Functional ProgrammingThe Journal of Functional Programming is a peer-reviewed scientific journal covering the design, implementation, and application of functional programming languages, spanning the range from mathematical theory to industrial practice...
- Journal of Functional and Logic Programming
- Higher-Order and Symbolic ComputationHigher-Order and Symbolic ComputationHigher-Order and Symbol Computation is a computer science journal published by Springer Science+Business Media. It focusses on programming concepts and abstractions and programming language theory.- Editors :Former editors-in-chief of the journal have been:* Richard P...
- ACM Transactions on Programming Languages and SystemsACM Transactions on Programming Languages and SystemsThe ACM Transactions on Programming Languages and Systems is a bimonthly peer-reviewed scientific journal on programming languages published by the Association for Computing Machinery since 1979. The current editor-in-chief is Jens Palsberg...