Trends in Functional Programming - 19th International Symposium, TFP 2018, Gothenburg, Sweden, June 11-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.

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

Summary

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.

Product details

• Assisted by: Magnus Myreen (Editor), Micha¿ Pa¿ka (Editor), Michal Palka (Editor), Michał Pałka (Editor)
• Publisher: Springer, Berlin
• Languages: English
• Product format: Paperback / Softback
• Released: 24.04.2019
• EAN: 9783030185053
• ISBN: 978-3-0-3018505-3
• No. of pages: 157
• Dimensions: 157 mm x 10 mm x 234 mm
• Weight: 266 g
• Illustrations: VII, 157 p. 862 illus., 16 illus. in color.
• Series: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues
• Subjects: Natural sciences, medicine, IT, technology > IT, data processing > IT; C, Betriebssysteme, Rechnerarchitektur und Logik-Entwurf, Microprocessors, Compiler und Übersetzer, computer science, Programming Techniques, Programming Languages, Compilers, Interpreters, Computer programming, Operating systems, Computer architecture & logic design, Processor Architectures, Programming & scripting languages: general, Compilers & interpreters, Programming languages (Electronic computers), Operating systems (Computers), Semantics, Logic Design, Compilers and Interpreters, software verification, Type theory, run-time environments