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.

Sommario

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. 

Riassunto

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.

Dettagli sul prodotto

• Con la collaborazione di: Magnus Myreen (Editore), Micha¿ Pa¿ka (Editore), Michal Palka (Editore), Michał Pałka (Editore)
• Editore: Springer, Berlin
• Lingue: Inglese
• Formato: Tascabile
• Pubblicazione: 24.04.2019
• EAN: 9783030185053
• ISBN: 978-3-0-3018505-3
• Pagine: 157
• Dimensioni: 157 mm x 10 mm x 234 mm
• Peso: 266 g
• Illustrazioni: VII, 157 p. 862 illus., 16 illus. in color.
• Serie: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues
• Categorie: Scienze naturali, medicina, informatica, tecnica > Informatica, EDP > Informatica; 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