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.
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.
Produktdetails
Produktdetails
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.
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.
Es gelten unsere Allgemeinen Geschäftsbedingungen: www.buecher.de/agb
Impressum
www.buecher.de ist ein Internetauftritt der buecher.de internetstores GmbH
Geschäftsführung: Monica Sawhney | Roland Kölbl | Günter Hilger
Sitz der Gesellschaft: Batheyer Straße 115 - 117, 58099 Hagen
Postanschrift: Bürgermeister-Wegele-Str. 12, 86167 Augsburg
Amtsgericht Hagen HRB 13257
Steuernummer: 321/5800/1497
USt-IdNr: DE450055826