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

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Hage, Jurriaan (Επιμελητής έκδοσης), McCarthy, Jay (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Cham : Springer International Publishing : Imprint: Springer, 2015.
• Σειρά: Lecture Notes in Computer Science, 8843
• Θέματα: Computer science.; Computer programming.; Programming languages (Electronic computers).; Computer logic.; Artificial intelligence.; Computer Science.; Programming Techniques.; Programming Languages, Compilers, Interpreters.; Logics and Meanings of Programs.; Artificial Intelligence (incl. Robotics).

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

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

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