國立虎尾科技大學 |

Central European Functional Programming School = 5th Summer School, CEFP 2013, Cluj-Napoca, Romania, July 8-20, 2013, Revised Selected Papers /

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	Central European Functional Programming School/ edited by Viktória Zsók, Zoltán Horváth, Lehel Csató.
其他題名:	5th Summer School, CEFP 2013, Cluj-Napoca, Romania, July 8-20, 2013, Revised Selected Papers /
其他作者:	Zsók, Viktória.
面頁冊數:	VII, 507 p. 122 illus.online resource. :
Contained By:	Springer Nature eBook
標題:	Computer programming. -
電子資源:	https://doi.org/10.1007/978-3-319-15940-9
ISBN:	9783319159409

Central European Functional Programming School = 5th Summer School, CEFP 2013, Cluj-Napoca, Romania, July 8-20, 2013, Revised Selected Papers /
Central European Functional Programming School5th Summer School, CEFP 2013, Cluj-Napoca, Romania, July 8-20, 2013, Revised Selected Papers /[electronic resource] :edited by Viktória Zsók, Zoltán Horváth, Lehel Csató. - 1st ed. 2015. - VII, 507 p. 122 illus.online resource. - Theoretical Computer Science and General Issues ;8606. - Theoretical Computer Science and General Issues ;9163.

Functional 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.

This 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.

ISBN: 9783319159409

Standard No.: 10.1007/978-3-319-15940-9doiSubjects--Topical Terms:

527822
Computer programming.

LC Class. No.: QA76.6-76.66

Dewey Class. No.: 005.11

Central European Functional Programming School = 5th Summer School, CEFP 2013, Cluj-Napoca, Romania, July 8-20, 2013, Revised Selected Papers /
LDR:02304nam a22004095i 4500 001 970059
003 DE-He213
005 20200703121238.0
007 cr nn 008mamaa
008 201211s2015 gw | s |||| 0|eng d
020 $a 9783319159409 $9 978-3-319-15940-9
024 7 $a 10.1007/978-3-319-15940-9 $2 doi
035 $a 978-3-319-15940-9
050 4 $a QA76.6-76.66
072 7 $a UM $2 bicssc
072 7 $a COM051000 $2 bisacsh
072 7 $a UM $2 thema
082 0 4 $a 005.11 $2 23
245 1 0 $a Central European Functional Programming School $h [electronic resource] : $b 5th Summer School, CEFP 2013, Cluj-Napoca, Romania, July 8-20, 2013, Revised Selected Papers / $c edited by Viktória Zsók, Zoltán Horváth, Lehel Csató.
250 $a 1st ed. 2015.
264 1 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2015.
300 $a VII, 507 p. 122 illus. $b online resource.
336 $a text $b txt $2 rdacontent
337 $a computer $b c $2 rdamedia
338 $a online resource $b cr $2 rdacarrier
347 $a text file $b PDF $2 rda
490 1 $a Theoretical Computer Science and General Issues ; $v 8606
505 0 $a Functional 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 $a This 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 $a Computer programming. $3 527822
650 0 $a Software engineering. $3 562952
650 0 $a Programming languages (Electronic computers). $3 1127615
650 0 $a Computer logic. $3 786340
650 1 4 $a Programming Techniques. $3 669781
650 2 4 $a Software Engineering. $3 669632
650 2 4 $a Programming Languages, Compilers, Interpreters. $3 669782
650 2 4 $a Logics and Meanings of Programs. $3 670058
700 1 $a Zsók, Viktória. $e editor. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1265641
700 1 $a Horváth, Zoltán. $e editor. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1265642
700 1 $a Csató, Lehel. $e editor. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1265643
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer Nature eBook
776 0 8 $i Printed edition: $z 9783319159416
776 0 8 $i Printed edition: $z 9783319159393
830 0 $a Theoretical Computer Science and General Issues ; $v 9163 $3 1253524
856 4 0 $u https://doi.org/10.1007/978-3-319-15940-9
912 $a ZDB-2-SCS
912 $a ZDB-2-SXCS
912 $a ZDB-2-LNC
950 $a Computer Science (SpringerNature-11645)
950 $a Computer Science (R0) (SpringerNature-43710)