03467nam 22007335 450 99621126260331620230329114623.03-319-14675-010.1007/978-3-319-14675-1(CKB)3710000000325059(SSID)ssj0001408434(PQKBManifestationID)11900106(PQKBTitleCode)TC0001408434(PQKBWorkID)11347608(PQKB)10767988(DE-He213)978-3-319-14675-1(MiAaPQ)EBC6302813(MiAaPQ)EBC5576833(Au-PeEL)EBL5576833(OCoLC)1083465848(PPN)18315262X(EXLCZ)99371000000032505920141226d2015 u| 0engurnn|008mamaatxtccrTrends in Functional Programming[electronic resource] 15th International Symposium, TFP 2014, Soesterberg, The Netherlands, May 26-28, 2014. Revised Selected Papers /edited by Jurriaan Hage, Jay McCarthy1st ed. 2015.Cham :Springer International Publishing :Imprint: Springer,2015.1 online resource (IX, 143 p. 29 illus.) Theoretical Computer Science and General Issues,2512-2029 ;8843Bibliographic Level Mode of Issuance: Monograph3-319-14674-2 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.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.Theoretical Computer Science and General Issues,2512-2029 ;8843Computer programmingCompilers (Computer programs)Computer scienceArtificial intelligenceProgramming TechniquesCompilers and InterpretersComputer Science Logic and Foundations of ProgrammingArtificial IntelligenceComputer programming.Compilers (Computer programs).Computer science.Artificial intelligence.Programming Techniques.Compilers and Interpreters.Computer Science Logic and Foundations of Programming.Artificial Intelligence.005.114Hage Jurriaanedthttp://id.loc.gov/vocabulary/relators/edtMcCarthy Jayedthttp://id.loc.gov/vocabulary/relators/edtMiAaPQMiAaPQMiAaPQBOOK996211262603316Trends in Functional Programming1947569UNISA