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

This book constitutes the thoroughly refereed revised selected papers of the 19 th 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. A non-strict functional language with polymorphic types.- Data flow graph optimization in if1.- Strictness analysis - a practical approach.- The categorical abstract machine.- High order programming in extended FP.- a virtual machine for applicative programming.- Cobweb - A combinator reduction architecture.- How to replace failure by a list of successes a method for exception handling, backtracking, and pattern matching in lazy functional languages.- Lazy memo-functions.- An architecture for fast data movement in the FFP machine.- An architecture that efficiently updates associative aggregates in applicative programming languages.- Lambda Transforming programs to recursive equations.- Optimizing almost-tail-recursive prolog programs.- Designing regular array architectures using higher order functions.- $$v\mathcal{F}\mathcal{P}$$ : An environment for the multi-level specification, analysis, and synthesis of hardware algorithms.- A distributed garbage collection algorithm.- Cyclic reference counting for combinator machines.- Design for a multiprocessing heap with on-board reference counting.- A functional language and modular architecture for scientific computing.- Practical polymorphism.- Program verification in a logical theory of constructions.- Transforming recursive programs for execution on parallel machines.- Compiling pattern matching.- Serial "optimal" grains of parallelism.- The A fast, graph-reduction evaluator. 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 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. -- Provided by publisher