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