Trends in Functional Programming: 19th International Symposium, TFP 2018, Gothenburg, Sweden, June 11–13, 2018, Revised Selected Papers

Description

This book constitutes the thoroughly refereed revised selected papers of the 19th International Symposium on Trends in Functional Programming, TFP 2018, held in Gothenburg, Sweden, in June 2018. The 7 revised full papers were selected from 13 submissions and present papers in all aspects of functional programming, taking a broad view of current and future trends in the area. It aspires to be a lively environment for presenting the latest research results, and other contributions, described in draft papers submitted prior to the symposium. Front Matter ....Pages i-vii Colocation of Potential Parallelism in a Distributed Adaptive Run-Time System for Parallel Haskell (Evgenij Belikov, Hans-Wolfgang Loidl, Greg Michaelson)....Pages 1-19 Reversible Session-Based Concurrency in Haskell (Folkert de Vries, Jorge A. Pérez)....Pages 20-45 Intrinsic Currying for C++ Template Metaprograms (Paul Keir, Andrew Gozillon, Seyed Hossein Haeri)....Pages 46-73 Towards Optic-Based Algebraic Theories: The Case of Lenses (J. López-González, Juan M. Serrano)....Pages 74-93 Saint: An API-Generic Type-Safe Interpreter (Maximilian Algehed, Patrik Jansson, Sólrún Halla Einarsdóttir, Alex Gerdes)....Pages 94-113 Improving Haskell (Martin A. T. Handley, Graham Hutton)....Pages 114-135 High-Performance Defunctionalisation in Futhark (Anders Kiel Hovgaard, Troels Henriksen, Martin Elsman)....Pages 136-156 Back Matter ....Pages 157-157