🏠홈📊트렌드🏆논문👤마이
🎓
CS-Pedia
TrendsBest Papers
CS Conference Hub

Deadlines, Rankings
& Best Papers — all in one.

Acceptance rates · Best papers · Conference deadlines for CS researchers

← 학회 목록으로

ICFP

PL마감

ACM International Conference on Functional Programming

📍 Indianapolis, IN, USA · 2026-08-24 ~ 2026-08-29

공식 웹사이트DBLP정보 오류 신고
키워드Type TheoryProof AssistantKernelOptimizationDSL

기관 인정 현황?

BK21
2점
KIISE
최우수
KAIST
최우수
SNU
✓
POST
최우수

데드라인

2026 (main)
📍 Indianapolis, IN, USA
📝 Paper: 2026-02-19
📬 Notification: 2026-05-14
📅 학회: 2026-08-24 ~ 2026-08-29

데드라인은 변경될 수 있습니다. 제출 전 공식 웹사이트에서 최종 일정을 확인하세요.

Acceptance Rate?

채택률 데이터가 없습니다.

Research Trend?

Best Papers

🏆 2025Distinguished Paper Award
First-Order Laziness
Anton Lorenzen, Daan Leijen, Wouter Swierstra, Sam Lindley
Laziness
🏆 2024Distinguished Paper Award
Error Credits: Resourceful Reasoning about Error Bounds for Higher-Order Probabilistic Programs
Alejandro Aguirre, Philipp G. Haselwarter, Markus de Medeiros, Kwing Hei Li, Simon Oddershede Gregersen, Joseph Tassarotti, Lars Birkedal
Probabilistic Programming
🏆 2023Distinguished Paper Award
HasChor: Functional Choreographic Programming for All
Gan Shen, Shun Kashiwa, Lindsey Kuper
Choreography
🏆 2023Distinguished Paper Award
The Verse Calculus: A Core Calculus for Deterministic Functional Logic Programming
Lennart Augustsson, Joachim Breitner, Koen Claessen, Ranjit Jhala, Simon Peyton Jones, Olin Shivers, Guy L. Steele Jr., Tim Sweeney
Functional Logic
🏆 2022Distinguished Paper Award
Entanglement Detection With Near-Zero Cost
Sam Westrick, Jatin Arora, Umut A. Acar
Parallelism
🏆 2021Distinguished Paper Award
Getting to the Point: Index Sets and Parallelism-Preserving Autodiff for Pointful Array Programming
Adam Paszke, Daniel D. Johnson, David Duvenaud, Dimitrios Vytiniotis, Alexey Radul, Matthew J. Johnson, Jonathan Ragan-Kelley, Dougal Maclaurin
Autodiff
🏆 2020Distinguished Paper Award
Retrofitting Parallelism onto OCaml
KC Sivaramakrishnan, Stephen Dolan, Leo White, Sadiq Jaffer, Tom Kelly, Anmol Sahoo, Sudha Parimala, Atul Dhiman, Anil Madhavapeddy
OCamlParallelism
🏆 2020Distinguished Paper Award
Liquid Information Flow Control
Nadia Polikarpova, Deian Stefan, Jean Yang, Shachar Itzhaky, Travis Hance, Armando Solar-Lezama
SecurityTypes
🏆 2020Distinguished Paper Award
A Quick Look at Impredicativity
Alejandro Serrano, Jurriaan Hage, Simon Peyton Jones, Dimitrios Vytiniotis
Type Inference

CS-Pedia — 한국 CS 연구자를 위한 학회 통합 플랫폼

데이터 출처: DBLP (CC0), OpenAlex (CC0), Semantic Scholar, aideadlin.es (MIT), 한국연구재단, 한국정보과학회, jeffhuang.com

제출 전 데드라인·학회 일정은 공식 웹사이트에서 반드시 확인하세요.

소개·개인정보 처리방침·이용약관·문의