LEADER 03467nam  22007335  450 
001 996211262603316
005 20230329114623.0
010   $a3-319-14675-0
024 7 $a10.1007/978-3-319-14675-1
035   $a(CKB)3710000000325059
035   $a(SSID)ssj0001408434
035   $a(PQKBManifestationID)11900106
035   $a(PQKBTitleCode)TC0001408434
035   $a(PQKBWorkID)11347608
035   $a(PQKB)10767988
035   $a(DE-He213)978-3-319-14675-1
035   $a(MiAaPQ)EBC6302813
035   $a(MiAaPQ)EBC5576833
035   $a(Au-PeEL)EBL5576833
035   $a(OCoLC)1083465848
035   $a(PPN)18315262X
035   $a(EXLCZ)993710000000325059
100   $a20141226d2015      u|             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aTrends in Functional Programming$b[electronic resource] $e15th International Symposium, TFP 2014, Soesterberg, The Netherlands, May 26-28, 2014. Revised Selected Papers /$fedited by Jurriaan Hage, Jay McCarthy
205   $a1st ed. 2015.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2015.
215   $a1 online resource (IX, 143 p. 29 illus.) 
225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v8843
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-319-14674-2 
327   $aBalancing 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.
330   $aThis 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.
410  0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v8843
606   $aComputer programming
606   $aCompilers (Computer programs)
606   $aComputer science
606   $aArtificial intelligence
606   $aProgramming Techniques
606   $aCompilers and Interpreters
606   $aComputer Science Logic and Foundations of Programming
606   $aArtificial Intelligence
615  0$aComputer programming.
615  0$aCompilers (Computer programs).
615  0$aComputer science.
615  0$aArtificial intelligence.
615 14$aProgramming Techniques.
615 24$aCompilers and Interpreters.
615 24$aComputer Science Logic and Foundations of Programming.
615 24$aArtificial Intelligence.
676   $a005.114
702   $aHage$b Jurriaan$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aMcCarthy$b Jay$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a996211262603316
996   $aTrends in Functional Programming$91947569
997   $aUNISA