https://icfp20.sigplan.org/track/icfp-2020-papers#event-overview (not yet available)
Similar pages for older ICFP (2012, 2013, 2014, 2015, 2016, 2017, 2018 (open access), 2019), POPL (2013, 2014, 2015, 2016), PLDI 2014.
Scala Step-by-Step — Soundness for DOT with Step-Indexed Logical Relations in Iris
Paolo G. Giarrusso, Amin Timany, Lars Birkedal, Robbert Krebbers
(pdf)
Retrofitting Parallelism onto OCaml
KC Sivaramakrishnan, Stephen Dolan, Leo White, Sadiq Jaffer, Tom Kelly, Anmol Sahoo,
Sudha Parimala, Atul Dhiman, Anil Madhavapeddy
(arvix)
Capability-Passing Style for Zero-Cost Effect Handlers
Philipp Schuster, Jonathan Immanuel Brachthäuser, and Klaus Ostermann
(pdf)
Achieving High Performance the Functional Way
Bastian Hagedorn, ???
Denotational Recurrence Extraction for Amortized Analysis
Joe Cutler, Dan Licata, Norman Danner
(pdf)
A quick look at impredicativity
Alejandro Serrano Jurriaan Hage Simon Peyton Jones, Dimitrios Vytiniotis
(pdf)
Computation Focusing
Nick Rioux, Steve Zdancewic
Lower Your Guards — A Compositional Pattern-Match Coverage Checker
Sebastian Graf, Simon Peyton Jones, Ryan G. Scott
(pdf)