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.

Inhaltsverzeichnis

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. 

Zusammenfassung

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.

Produktdetails

• Mitarbeit: Magnus Myreen (Herausgeber), Micha¿ Pa¿ka (Herausgeber), Michal Palka (Herausgeber), Michał Pałka (Herausgeber)
• Verlag: Springer, Berlin
• Sprache: Englisch
• Produktform: Taschenbuch
• Erschienen: 24.04.2019
• EAN: 9783030185053
• ISBN: 978-3-0-3018505-3
• Seiten: 157
• Abmessung: 157 mm x 10 mm x 234 mm
• Gewicht: 266 g
• Illustration: VII, 157 p. 862 illus., 16 illus. in color.
• Serien: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues
• Themen: Naturwissenschaften, Medizin, Informatik, Technik > Informatik, EDV > Informatik; 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