プログラミング言語の原理に関するシンポジウム

毎年開催されるACM SIGPLAN - SIGACTプログラミング言語原理シンポジウム（POPL）は、コンピュータサイエンス分野の学術会議であり、プログラミング言語、プログラミングシステム、プログラミングインターフェースの設計、定義、分析、実装における基本原理に焦点を当てています。このシンポジウムは、 Association for Computing Machinery（ACM）の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チャレンジ

• 公式サイト
• コンパイラ会議の採択率