LEADER 03406nam  22006855  450 
001 9910349306103321
005 20251113195852.0
010   $a3-030-28346-1
024 7 $a10.1007/978-3-030-28346-9
035   $a(CKB)4100000008959026
035   $a(DE-He213)978-3-030-28346-9
035   $a(MiAaPQ)EBC5926443
035   $a(PPN)248601423
035   $a(EXLCZ)994100000008959026
100   $a20190813d2019      u|         0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aCentral European Functional Programming School $e6th Summer School, CEFP 2015, Budapest, Hungary, July 6?10, 2015, Revised Selected Papers /$fedited by Viktória Zsók, Zoltán Porkoláb, Zoltán Horváth
205   $a1st ed. 2019.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2019.
215   $a1 online resource (VII, 395 p. 1886 illus., 46 illus. in color.) 
225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v10094
311 08$a3-030-28345-3 
327   $aWatch out for that tree! A Tutorial on Shortcut Deforestation -- Functional Reactive Programming in C++ -- Immutables in C++: Language Foundation for Functional Programming -- Programming in a Functional Style in C++ -- Functional, Reactive Web Programming in F# -- Functional Languages in Design of Colored Petri Nets Models -- Single Assignment C (SAC): The Compilation Technology Perspective -- Type-Safe Functions and Tasks in a Shallow Embedded DSL for Microprocessors -- Static and Dynamic Visualizations of Monadic Programs -- Analyzing Scale-free Properties in Erlang and Scala.
330   $aThis volume presents the revised lecture notes of selected talks given at the 6th Central European Functional Programming School, CEFP 2015, held in July 2015, in Budapest, Hungary. The 10 revised full papers presented were carefully reviewed and selected. The lectures covered a wide range of functional programming and C++ programming subjects. .
410  0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v10094
606   $aComputer programming
606   $aArtificial intelligence
606   $aDatabase management
606   $aSoftware engineering
606   $aCompilers (Computer programs)
606   $aProgramming Techniques
606   $aArtificial Intelligence
606   $aDatabase Management
606   $aSoftware Engineering
606   $aCompilers and Interpreters
615  0$aComputer programming.
615  0$aArtificial intelligence.
615  0$aDatabase management.
615  0$aSoftware engineering.
615  0$aCompilers (Computer programs).
615 14$aProgramming Techniques.
615 24$aArtificial Intelligence.
615 24$aDatabase Management.
615 24$aSoftware Engineering.
615 24$aCompilers and Interpreters.
676   $a005.11
702   $aZsók$b Viktória$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aPorkoláb$b Zoltán$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aHorváth$b Zoltán$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910349306103321
996   $aCentral European Functional Programming School$9771915
997   $aUNINA