Description |
1 online resource |
Series |
Lecture notes in computer science ; 11457 |
|
LNCS sublibrary. SL 1 -- Theoretical computer science and general issues |
|
Lecture notes in computer science ; 11457.
|
|
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
|
Contents |
1. Colocation of potential parallelism in a distributed adaptive run-time system for parallel Haskell / Evgenij Belikov, Hans-Wolfgang Loidl, Greg Michaelson -- 2. Reversible session-based concurrency in Haskell / Folkert de Vries, Jorge A. Pérez -- 3. Intrinsic currying for C++ template metaprograms / Paul Keir, Andrew Gozillon, Seyed Hossein Haeri -- 4. Towards optic-based algebraic theories : the case of lenses / J. López-González, Juan M. Serrano -- 5. Saint : an API-generic type-safe interpreter / Maximilian Algehed, Patrick Jansson, Sólrún Halla Einarsdóttir, Alex Gerdes -- 6. Improving Haskell / Martin A.T. Handley, Graham Hutton -- 7. High-performance defunctionalisation in Futhark / Anders Kiel Hovgaard, Troels Henriksen, Martin Elsman |
Summary |
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. -- Provided by publisher |
Bibliography |
Includes bibliographical references and author index |
In |
Springer eBooks |
Subject |
Functional programming (Computer science) -- Congresses
|
|
Logic design -- Computer programs -- Congresses
|
|
Data structures (Computer science) -- Congresses
|
|
Operating systems (Computers)
|
|
Electronic Data Processing
|
|
computer science.
|
|
data processing.
|
|
operating systems.
|
|
Computer science
|
|
Data structures (Computer science)
|
|
Functional programming (Computer science)
|
|
Logic design
|
|
Logic design -- Computer programs
|
|
Operating systems (Computers)
|
Genre/Form |
proceedings (reports)
|
|
Conference papers and proceedings
|
|
Conference papers and proceedings.
|
|
Actes de congrès.
|
Form |
Electronic book
|
Author |
Pałka, Michal H., editor
|
|
Myreen, Magnus O., editor
|
ISBN |
9783030185060 |
|
3030185060 |
|