Trends in Functional Programming
Springer International Publishing (Verlag)
978-3-030-18505-3 (ISBN)
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.
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.
| Erscheinungsdatum | 25.04.2019 |
|---|---|
| Reihe/Serie | Lecture Notes in Computer Science | Theoretical Computer Science and General Issues |
| Zusatzinfo | VII, 157 p. 862 illus., 16 illus. in color. |
| Verlagsort | Cham |
| Sprache | englisch |
| Maße | 155 x 235 mm |
| Gewicht | 264 g |
| Themenwelt | Mathematik / Informatik ► Informatik ► Betriebssysteme / Server |
| Mathematik / Informatik ► Informatik ► Theorie / Studium | |
| Schlagworte | Applications • Compilers • Computer Architecture • Computer Science • conference proceedings • data structures design and analysis • data types and structures • Distributed programming languages • domain specific languages • formal software verification • Functional languages • Functional Programming • Haskell • Informatics • Lambda Calculus • Planning and Scheduling • Programming Languages • Programming Logic • program reasoning • Research • run-time environments • Semantics • Software Verification • Type Theory |
| ISBN-10 | 3-030-18505-2 / 3030185052 |
| ISBN-13 | 978-3-030-18505-3 / 9783030185053 |
| Zustand | Neuware |
| Haben Sie eine Frage zum Produkt? |
aus dem Bereich
