Trends in Functional Programming 19th International Symposium, TFP 2018, Gothenburg, Sweden, June 11-13, 2018, Revised Selected Papers / [electronic resource] : edited by Michał Pałka, Magnus Myreen. - 1st ed. 2019. - VII, 157 p. 862 illus., 16 illus. in color. online resource. - Theoretical Computer Science and General Issues, 11457 2512-2029 ; . - Theoretical Computer Science and General Issues, 11457 .

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

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.

9783030185060

10.1007/978-3-030-18506-0 doi


Computer programming.
Compilers (Computer programs).
Operating systems (Computers).
Logic design.
Microprocessors.
Computer architecture.
Programming Techniques.
Compilers and Interpreters.
Operating Systems.
Logic Design.
Processor Architectures.

QA76.6-76.66

005.11