000 03204nam a22005895i 4500
001 978-3-319-15940-9
003 DE-He213
005 20240730195240.0
007 cr nn 008mamaa
008 150320s2015 sz | s |||| 0|eng d
020 _a9783319159409
_9978-3-319-15940-9
024 7 _a10.1007/978-3-319-15940-9
_2doi
050 4 _aQA76.6-76.66
072 7 _aUM
_2bicssc
072 7 _aCOM051000
_2bisacsh
072 7 _aUM
_2thema
082 0 4 _a005.11
_223
245 1 0 _aCentral European Functional Programming School
_h[electronic resource] :
_b5th Summer School, CEFP 2013, Cluj-Napoca, Romania, July 8-20, 2013, Revised Selected Papers /
_cedited by Viktória Zsók, Zoltán Horváth, Lehel Csató.
250 _a1st ed. 2015.
264 1 _aCham :
_bSpringer International Publishing :
_bImprint: Springer,
_c2015.
300 _aVII, 507 p. 122 illus.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aTheoretical Computer Science and General Issues,
_x2512-2029 ;
_v8606
505 0 _aFunctional Programming for Domain-Specific Languages -- DSL in C++ Template Metaprogram -- The Idris Programming Language -- An Introduction to Task Oriented Programming -- Spreadsheet Engineering -- The EDSL's struggle for their sources -- Zipper-based Modular and Deforested Computations -- Tasklets: Client-side evaluation for iTask3.
520 _aThis volume presents the revised lecture notes of selected talks given at the Fifth Central European Functional Programming School, CEFP 2013, held in July 2013 in Cluj-Napoca, Romania. The 14 revised full papers presented were carefully reviewed and selected. The lectures cover a wide range of distributed and multicore functional programming subjects. The last 5 papers are selected papers of the PhD Workshop organized for the participants of the summer school.
650 0 _aComputer programming.
_94169
650 0 _aSoftware engineering.
_94138
650 0 _aCompilers (Computer programs).
_93350
650 0 _aComputer science.
_99832
650 1 4 _aProgramming Techniques.
_9159635
650 2 4 _aSoftware Engineering.
_94138
650 2 4 _aCompilers and Interpreters.
_931853
650 2 4 _aComputer Science Logic and Foundations of Programming.
_942203
700 1 _aZsók, Viktória.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9159636
700 1 _aHorváth, Zoltán.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9159637
700 1 _aCsató, Lehel.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9159638
710 2 _aSpringerLink (Online service)
_9159639
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783319159393
776 0 8 _iPrinted edition:
_z9783319159416
830 0 _aTheoretical Computer Science and General Issues,
_x2512-2029 ;
_v8606
_9159640
856 4 0 _uhttps://doi.org/10.1007/978-3-319-15940-9
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
912 _aZDB-2-LNC
942 _cELN
999 _c95543
_d95543