Trends in Functional Programming: 21st International Symposium, TFP 2020, Krakow, Poland, February 13–14, 2020, Revised Selected Papers (Theoretical Computer Science and General Issues Book 12222)

This book constitutes revised selected papers from the 21 st International Symposium on Trends in Functional Programming, TFP 2020, which was held in Krakow, Poland, during February 13-14, 2020. The 11 full papers presented in this volume were carefully reviewed and selected from 22 submissions. They were organized in topical sections named: domain-specific languages; debugging and testing; reasoning and effects; and parallelism. Front Matter ....Pages i-x Front Matter ....Pages 1-1 PaSe: An Extensible and Inspectable DSL for Micro-Animations (Ruben P. Pieters, Tom Schrijvers)....Pages 3-24 BinderAnn: Automated Reification of Source Annotations for Monadic EDSLs (Agustín Mista, Alejandro Russo)....Pages 25-46 Generating Next Step Hints for Task Oriented Programs Using Symbolic Execution (Nico Naus, Tim Steenvoorden)....Pages 47-68 Front Matter ....Pages 69-69 Scaling Up Delta Debugging of Type Errors (Joanna Sharrad, Olaf Chitil)....Pages 71-93 Flexible Formality Practical Experience with Agile Formal Methods (Philipp Kant, Kevin Hammond, Duncan Coutts, James Chapman, Nicholas Clarke, Jared Corduan et al.)....Pages 94-120 White-Box Path Generation in Recursive Programs (Ricardo Peña, Jaime Sánchez-Hernández)....Pages 121-135 Front Matter ....Pages 137-137 A Proof Assistant Based Formalisation of a Subset of Sequential Core Erlang (Péter Bereczky, Dániel Horpácsi, Simon Thompson)....Pages 139-158 One-Shot Algebraic Effects as Coroutines (Satoru Kawahara, Yukiyoshi Kameyama)....Pages 159-179 An Equational Modeling of Asynchronous Concurrent Programming (David Janin)....Pages 180-203 State Will do (Willem Seynaeve, Koen Pauwels, Tom Schrijvers)....Pages 204-225 Front Matter ....Pages 227-227 Placement Strategies: Structured Skeleton Composition with Location-Aware Remote Data (Lukas Immanuel Schiller)....Pages 229-248 Back Matter ....Pages 249-249 This book constitutes revised selected papers from the 21st International Symposium on Trends in Functional Programming, TFP 2020, which was held in Krakow, Poland, during February 13-14, 2020. TFP is an international forum for researchers with interests in all aspects of functional programming, taking a broad view of current and future trends in this area. It aspires to be a lively environment for presenting the latest research results and other contributions. The 11 full papers presented in this volume were carefully reviewed and selected from 22 submissions. They were organized in topical sections named: domain-specific languages; debugging and testing; reasoning and effects; and parallelism. The following chapters are available open access under a Creative Commons Attribution 4.0 International License via link.springer.com: Chapter 3: Generating next step hints for task oriented programs using symbolic execution by Nico Naus and Tim Steenvoorden, and Chapter 5: Flexible Formality Practical Experience with Agile Formal Methods by Philipp Kant, et al