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