Links to accepted papers for the 20th ACM SIGPLAN International Conference on Functional Programming (ICFP 2015). (Similar pages are available for ICFP 2012, ICFP 2013 and ICFP 2014. You may also be interested in Haskell 2014 accepted papers and PLDI 2014 accepted papers.) Status of links at last commit: ICFP Foundational Extensible Corecursion: A Proof Assistant Perspective (paper) Jasmin Christi