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

• Corporate Author: SpringerLink (Online service)
• Other Authors: Pałka, Michał (Editor, http://id.loc.gov/vocabulary/relators/edt), Myreen, Magnus (Editor, http://id.loc.gov/vocabulary/relators/edt)
• Format: Electronic eBook
• Language: English
• Published: Cham : Springer International Publishing : Imprint: Springer, 2019.
• Edition: 1st ed. 2019.
• Series: Theoretical Computer Science and General Issues ; 11457
• Subjects: Computer programming.; Programming languages (Electronic computers).; Operating systems (Computers).; Logic design.; Microprocessors.; Programming Techniques.; Programming Languages, Compilers, Interpreters.; Operating Systems.; Logic Design.; Processor Architectures.

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 function...

Table of Contents:

• Colocation of Potential Parallelism in a Distributed Adaptive Run-time System for Parallel Haskell
• Reversible Session-Based Concurrency in Haskell
• Intrinsic Currying for C++ Template Metaprograms
• Towards Optic-Based Algebraic Theories: The Case of Lenses
• Saint: an API-generic Type-safe Interpreter
• Improving Haskell
• High-Performance Defunctionalisation in Futhark. .