関数型プログラミングに関する国際会議

国際関数型プログラミング会議（ICFP ）は、 ACM SIGPLANがIFIPワーキンググループ2.8（関数型プログラミング）と共同で主催するコンピュータサイエンス分野の年次学術会議です。この会議では、関数型プログラミングと、プログラミング言語、ロジック、コンパイラ、ソフトウェア開発の関連分野に焦点を当てています。^[1]

ICFPは1996年に初めて開催され、 2年ごとに開催されていた関数型プログラミングとコンピュータアーキテクチャ（FPCA）とLISPと関数型プログラミング（LFP）の2つの会議に代わって開催されました。会議の開催地はヨーロッパと北米で交互に行われ、他の大陸で開催されることもあります。^[2]会議は通常3日間続き、特定の関数型言語やアプリケーション分野に特化したワークショップが併催されます。

ICFP は 1998 年以来、 ICFP プログラミングコンテストと呼ばれる公開プログラミングコンテストを毎年開催しています。

歴史

2012: 第 17 回 ACM SIGPLAN 国際関数型プログラミング会議、デンマーク、コペンハーゲン(議長: Peter Thiemann、フライブルク大学、プログラム議長: Robby Findler、ノースウェスタン大学)

参照

関連会議

FSCD : 計算と演繹のための形式構造に関する国際会議
FLOPS: 関数型および論理型プログラミングに関する国際シンポジウム
IFL: 関数型言語の実装と応用に関する国際シンポジウム
ISMM:メモリ管理に関する国際シンポジウム
MPC: プログラム構築の数学に関する国際会議
PLDI:プログラミング言語の設計と実装
POPL:プログラミング言語の原則
PPDP: 宣言型プログラミングの原則と実践に関する国際会議
TFP:関数型プログラミングの動向に関するシンポジウム
TLCA: 型付きラムダ計算とその応用に関する国際会議
TLDI: 言語設計と実装における型に関する国際ワークショップ
SAS: 国際静的解析シンポジウム

関連ジャーナル

参考文献

^ 「ACM SIGPLAN 関数型プログラミング国際会議」。
^ ICFP運営委員会（2019年）。「ICFPの機能」（PDF）。

外部リンク

ICFPメインサイト
ICFP 2023 カンファレンス
ICFPプログラミングコンテスト

[main-1] 「ACM SIGPLAN 関数型プログラミング国際会議」。

[policies-2] ICFP運営委員会（2019年）。「ICFPの機能」（PDF）。