ICFP will include a special session of presentations of papers accepted recently in the Journal of Functional Programming. These papers went through the normal JFP review process, and in addition their authors opted into presentations at ICFP 2021. Their talks will work similarly to those for the traditional ICFP contributed papers.
The papers in question are:
- “Proof-directed program transformation: A functional account of efficient regular expression matching”, by Andrzej Filinski
- “How to design co-programs”, by Jeremy Gibbons
- “Typed dataspace actors”, by Sam Caldwell, Tony Garnock-Jones, and Matthias Felleisen
- “Leibniz equality is isomorphic to Martin-Löf identity, parametrically”, by Andreas Abel, Jesper Cockx, Dominique Devriese, Amin Timany, and Philip Wadler
They are freely available in a collection at JFP from now until after the conference. The schedule will eventually be published in the combined ICFP Program track.