Trends in Functional Programming

19th International Symposium, TFP 2018, Gothenburg, Sweden, June 11–13, 2018, Revised Selected Papers

Michał Pałka, Magnus Myreen (Herausgeber)

Buch | Softcover

VII, 157 Seiten

2019
Springer International Publishing (Verlag)
978-3-030-18505-3 (ISBN)

Artikel merken

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.

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
Reihe/Serie	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
Themenwelt	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