プログラミング言語原理シンポジウム

毎年開催されるACM SIGPLAN - SIGACTプログラミング言語の原理に関するシンポジウム( POPL ) は、プログラミング言語、プログラミング システム、プログラミング インターフェイスの設計、定義、分析、実装の基本原理に焦点を当てた、コンピュータ サイエンスの分野の学術会議です。この会場は、 Association for Computing Machineryの2 つの特別利益団体、SIGPLANとSIGACTが共同で主催しています。

POPLはCOREカンファレンスランキングでA*（上位4％）にランクされています。^[1]

会議の議事録はACM デジタル ライブラリでホストされています。当初は有料でしたが、2017 年からはジャーナルProceedings of the ACM on Programming Languages (PACMPL) の一部としてオープン アクセスで公開されています。

• マルチコアプログラミングの宣言的側面 (DAMP)
• オブジェクト指向言語の基礎と発展 (FOOL/WOOD)
• 部分評価とセマンティクスベースのプログラム操作 (PEPM)
• 宣言型言語の実用的応用 (PADL)
• XML 向けプログラミング言語テクノロジー (PLAN-X)
• 言語設計と実装における型 (TLDI)
• 検証、モデル検査、抽象解釈 (VMCAI)
• 推論のための言語 (LAFI)

• 関数型プログラミングに関する国際会議(ICFP)
• プログラミング言語の設計と実装(PLDI)
• POPLmarkチャレンジ

• 公式サイト
• コンパイラ会議の受け入れ率