03374nam 22007215 450 991033783670332120251225193645.03-030-18506-010.1007/978-3-030-18506-0(CKB)4100000007992590(DE-He213)978-3-030-18506-0(MiAaPQ)EBC5917810(PPN)235668648(EXLCZ)99410000000799259020190423d2019 u| 0engurnn|008mamaatxtrdacontentcrdamediacrrdacarrierTrends in Functional Programming 19th International Symposium, TFP 2018, Gothenburg, Sweden, June 11–13, 2018, Revised Selected Papers /edited by Michał Pałka, Magnus Myreen1st ed. 2019.Cham :Springer International Publishing :Imprint: Springer,2019.1 online resource (VII, 157 p. 862 illus., 16 illus. in color.) Theoretical Computer Science and General Issues,2512-2029 ;11457Includes Index.3-030-18505-2 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.Theoretical Computer Science and General Issues,2512-2029 ;11457Computer programmingCompilers (Computer programs)Operating systems (Computers)Logic designMicroprocessorsComputer architectureProgramming TechniquesCompilers and InterpretersOperating SystemsLogic DesignProcessor ArchitecturesComputer programming.Compilers (Computer programs).Operating systems (Computers).Logic design.Microprocessors.Computer architecture.Programming Techniques.Compilers and Interpreters.Operating Systems.Logic Design.Processor Architectures.005.11005.11Pałka Michałedthttp://id.loc.gov/vocabulary/relators/edtMyreen Magnusedthttp://id.loc.gov/vocabulary/relators/edtMiAaPQMiAaPQMiAaPQBOOK9910337836703321Trends in Functional Programming1947569UNINA