Trends in Functional Programming - 15th International Symposium, TFP 2014, Soesterberg, The Netherlands, May 26-28, 2014. Revised Selected Papers

This book constitutes the thoroughly refereed revised selected papers of the 15th International Symposium on Trends in Functional Programming, TFP 2014, held in Soesterberg, The Netherlands, in May 2014. The 8 revised full papers included in this volume were carefully and selected from 22 submissions. TFP is an international forum for researchers with interests in all aspects of functional programming, taking a broad view of current and future trends in the area.

List of contents

Balancing Shared and Distributed Heaps on NUMA Architectures.- Resource-Dependent Algebraic Effects.- Call Arity.- Graph Problems and Vector-Matrix Multiplications in Haskell.- A Functional Approach to Sex: Reproduction in the Créatúr Framework.- Type Generic Observing.- Refactorings to Enable Parallelization.- Tonic: An Infrastructure to Graphically Represent the Definition and Behaviour of Tasks.

Summary

This book constitutes the thoroughly refereed revised selected papers of the 15th International Symposium on Trends in Functional Programming, TFP 2014, held in Soesterberg, The Netherlands, in May 2014. The 8 revised full papers included in this volume were carefully and selected from 22 submissions. TFP is an international forum for researchers with interests in all aspects of functional programming, taking a broad view of current and future trends in the area.

Product details

• Assisted by: Jurriaa Hage (Editor), Jurriaan Hage (Editor), Mccarthy (Editor), McCarthy (Editor), Jay McCarthy (Editor)
• Publisher: Springer, Berlin
• Languages: English
• Product format: Paperback / Softback
• Released: 01.01.2015
• EAN: 9783319146744
• ISBN: 978-3-31-914674-4
• No. of pages: 143
• Dimensions: 156 mm x 240 mm x 8 mm
• Weight: 248 g
• Illustrations: IX, 143 p. 29 illus.
• Series: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues; Information Systems and Applications, incl. Internet/Web, and HCI; Lecture Notes in Computer Science / Theoretical Computer Science and General Issues; Lecture Notes in Computer Science; Theoretical Computer Science and General Issues; Information Systems and Applications, incl. Internet/Web, and HCI
• Subjects: Natural sciences, medicine, IT, technology > IT, data processing > IT; C, Künstliche Intelligenz, Artificial Intelligence, Theoretische Informatik, Compiler und Übersetzer, computer science, refactoring, Logics and Meanings of Programs, Programming Techniques, Programming Languages, Compilers, Interpreters, Computer programming, Computer programming / software engineering, Computer architecture & logic design, Programming & scripting languages: general, Compilers & interpreters, Programming languages (Electronic computers), Computer logic, Computer Science Logic and Foundations of Programming, Compilers and Interpreters, static analysis, Task Programming