TFP 2020 Accepted Papers

Looking for the programme? It's here, on the web site.

A list of papers with abstracts can be found here.

David Janin. An equational modeling of asynchronous concurrent programming
Joanna Sharrad and Olaf Chitil. Delta Debugging Type Errors in Real-World Programs
Jim Newton. Performance Comparison of Several Folding Strategies
Ruben P. Pieters and Tom Schrijvers. PaSe: An Extensible and Inspectable DSL for Micro-Animations
Nico Naus and Tim Steenvoorden. Generating next step hints for task oriented programs using symbolic execution
Agustín Mista and Alejandro Russo. BinderAnn: Automated Reification of Source Annotations for Monadic EDSLs
Satoru Kawahara and Yukiyoshi Kameyama. One-shot Algebraic Effects as Coroutines
Philipp Kant, Kevin Hammond, Duncan Coutts, Matthias Güdemann, Javier Diaz, Wolfgang Jeltsch, Polina Vinogradova, Nicholas Clarke, Jared Corduan, James Chapman, Neil Davies and Marcin Szamotulski. Fusing Flexibility with Formality: Practical Experience with Agile Formal Methods in Large-Scale Functional Programming (Position Paper)
Lukas Immanuel Schiller. Placement Strategies: Structured Skeleton Composition with Location Aware Remote Data
Seyed Hossein Haeri and Peter Van Roy. A Family of λ-Calculi with Ports
Willem Seynaeve, Koen Pauwels and Tom Schrijvers. State will do
Birthe van den Berg, Peter Dedecker and Tom Schrijvers. A DSL for fluorescence microscopy
Ricardo Peña and Jaime Sánchez-Hernández. White-Box Path Generation in Recursive Programs
Péter Bereczky, Dániel Horpácsi and Simon Thompson. A Proof Assistant Based Formalisation of Core Erlang
Evan Sitt, Xiaotian Su, Beka Grdzelishvili, Zurab Tsinadze, Zongpu Xie, Hossameldin Abdin, Giorgi Botkoveli, Nikola Cenikj, Tringa Sylaj and Viktoria Zsok. Implementation of Digital Synthesis in Functional Programming
Martin Elsman and Ken Friis Larsen. Efficient Translation of Certain Irregular Data-Parallel Array Comprehensions
Pieter Koopman, Steffen Michels and Rinus Plasmeijer. Dynamic Creation of Well-Typed DSL Expressions
Stien Vanderhallen, Georgios Karachalias and Tom Schrijvers. How to Go Eff Without a Hitch: On Efficient Compilation from Eff to OCaml (Extended Abstract)