LEADER 03461nam  22007695  450 
001 9910483716303321
005 20251226193421.0
010   $a3-319-39110-0
024 7 $a10.1007/978-3-319-39110-6
035   $a(CKB)3710000000711672
035   $a(DE-He213)978-3-319-39110-6
035   $a(MiAaPQ)EBC6285411
035   $a(MiAaPQ)EBC5578469
035   $a(Au-PeEL)EBL5578469
035   $a(OCoLC)949917641
035   $a(PPN)194076997
035   $a(EXLCZ)993710000000711672
100   $a20160511d2016      u|         0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aTrends in Functional Programming $e16th International Symposium, TFP 2015, Sophia Antipolis, France, June 3-5, 2015. Revised Selected Papers /$fedited by Manuel Serrano, Jurriaan Hage
205   $a1st ed. 2016.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2016.
215   $a1 online resource (VII, 157 p. 22 illus.) 
225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v9547
300   $aIncludes index.
311 08$a3-319-39109-7 
327   $aFunctional Programming -- Engineering Mathematics -- Functional Languaguages -- Parallel Skeletons -- Recursive Programs -- Java Programs.
330   $aThis book constitutes the thoroughly refereed revised selected papers of the 16th International Symposium on Trends in Functional Programming, TFP 2015, held in Sophia Antipolis, France, in June 2015. The 8 revised full papers included in this volume were carefully and selected from 26 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. It aspires to be a lively environment for presenting the latest research results, and other contributions, described in draft papers submitted prior to the symposium.
410  0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v9547
606   $aComputer programming
606   $aCompilers (Computer programs)
606   $aSoftware engineering
606   $aComputer science
606   $aArtificial intelligence
606   $aMachine theory
606   $aProgramming Techniques
606   $aCompilers and Interpreters
606   $aSoftware Engineering
606   $aComputer Science Logic and Foundations of Programming
606   $aArtificial Intelligence
606   $aFormal Languages and Automata Theory
615  0$aComputer programming.
615  0$aCompilers (Computer programs).
615  0$aSoftware engineering.
615  0$aComputer science.
615  0$aArtificial intelligence.
615  0$aMachine theory.
615 14$aProgramming Techniques.
615 24$aCompilers and Interpreters.
615 24$aSoftware Engineering.
615 24$aComputer Science Logic and Foundations of Programming.
615 24$aArtificial Intelligence.
615 24$aFormal Languages and Automata Theory.
676   $a005.114
702   $aSerrano$b Manuel$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aHage$b Jurriaan$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910483716303321
996   $aTrends in Functional Programming$91947569
997   $aUNINA