Trends in Functional Programming 19th International Symposium, TFP 2018, Gothenburg, Sweden, June 11-13, 2018, Revised Selected Papers /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Pałka, Michał (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Myreen, Magnus (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Cham : Springer International Publishing : Imprint: Springer, 2019.
• Έκδοση: 1st ed. 2019.
• Σειρά: Theoretical Computer Science and General Issues ; 11457
• Θέματα: Computer programming.; Programming languages (Electronic computers).; Operating systems (Computers).; Logic design.; Microprocessors.; Programming Techniques.; Programming Languages, Compilers, Interpreters.; Operating Systems.; Logic Design.; Processor Architectures.

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 function...

Πίνακας περιεχομένων:

• 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. .