🏠
홈
📊
트렌드
🏆
논문
👤
마이
💬 문의
CS-
Pedia
Trends
Best Papers
Best Papers
/
ICFP
ICFP Best Papers
ACM International Conference on Functional Programming
9 papers · 2020–2025
← ICFP Conference Info
🏆
2025
(1)
Distinguished Paper Award
First-Order Laziness
Anton Lorenzen, Daan Leijen, Wouter Swierstra, Sam Lindley
Laziness
🏆
2024
(1)
Distinguished 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
🏆
2023
(2)
Distinguished Paper Award
HasChor: Functional Choreographic Programming for All
Gan Shen, Shun Kashiwa, Lindsey Kuper
Choreography
Distinguished 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
🏆
2022
(1)
Distinguished Paper Award
Entanglement Detection With Near-Zero Cost
Sam Westrick, Jatin Arora, Umut A. Acar
Parallelism
🏆
2021
(1)
Distinguished 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
🏆
2020
(3)
Distinguished Paper Award
Retrofitting Parallelism onto OCaml
KC Sivaramakrishnan, Stephen Dolan, Leo White, Sadiq Jaffer, Tom Kelly, Anmol Sahoo, Sudha Parimala, Atul Dhiman, Anil Madhavapeddy
OCaml
Parallelism
Distinguished Paper Award
Liquid Information Flow Control
Nadia Polikarpova, Deian Stefan, Jean Yang, Shachar Itzhaky, Travis Hance, Armando Solar-Lezama
Security
Types
Distinguished Paper Award
A Quick Look at Impredicativity
Alejandro Serrano, Jurriaan Hage, Simon Peyton Jones, Dimitrios Vytiniotis
Type Inference