Central European Functional Programming School 5th Summer School, CEFP 2013, Cluj-Napoca, Romania, July 8-20, 2013, Revised Selected Papers /
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 dist...
Опубликовано в: : | Springer eBooks |
---|---|
Соавтор: | |
Другие авторы: | , , |
Формат: | Электронная книга |
Язык: | English |
Публикация: |
Cham :
Springer International Publishing : Imprint: Springer,
2015.
|
Серии: | Lecture Notes in Computer Science,
|
Предметы: | |
Online-ссылка: | http://dx.doi.org/10.1007/978-3-319-15940-9 Перейти в каталог НБ ТГУ |
LEADER | 03118nam a22005655i 4500 | ||
---|---|---|---|
001 | vtls000559141 | ||
003 | RU-ToGU | ||
005 | 20210922085840.0 | ||
007 | cr nn 008mamaa | ||
008 | 170212s2015 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 to000559141 | ||
039 | 9 | |y 201702122222 |z Александр Эльверович Гилязов | |
040 | |a Springer |c Springer |d RU-ToGU | ||
050 | 4 | |a QA76.6-76.66 | |
072 | 7 | |a UM |2 bicssc | |
072 | 7 | |a COM051000 |2 bisacsh | |
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ó. |
260 | |a Cham : |b Springer International Publishing : |b Imprint: Springer, |c 2015. |9 742221 | ||
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 | ||
490 | 1 | |a Lecture Notes in Computer Science, |x 0302-9743 ; |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 Science. |9 155490 | |
650 | 0 | |a Computer programming. |9 439171 | |
650 | 0 | |a Software engineering. |9 566225 | |
650 | 0 | |a Programming languages (Electronic computers). |9 459680 | |
650 | 0 | |a Computer logic. |9 463252 | |
650 | 1 | 4 | |a Computer Science. |9 155490 |
650 | 2 | 4 | |a Programming Techniques. |9 566312 |
650 | 2 | 4 | |a Software Engineering. |9 566285 |
650 | 2 | 4 | |a Programming Languages, Compilers, Interpreters. |9 303287 |
650 | 2 | 4 | |a Logics and Meanings of Programs. |9 306257 |
700 | 1 | |a Zsók, Viktória. |e editor. |9 329541 | |
700 | 1 | |a Horváth, Zoltán. |e editor. |9 326203 | |
700 | 1 | |a Csató, Lehel. |e editor. |9 465546 | |
710 | 2 | |a SpringerLink (Online service) |9 143950 | |
773 | 0 | |t Springer eBooks | |
830 | 0 | |a Lecture Notes in Computer Science, |9 279505 | |
856 | 4 | 0 | |u http://dx.doi.org/10.1007/978-3-319-15940-9 |
856 | |y Перейти в каталог НБ ТГУ |u https://koha.lib.tsu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=413962 | ||
912 | |a ZDB-2-SCS | ||
912 | |a ZDB-2-LNC | ||
950 | |a Computer Science (Springer-11645) | ||
999 | |c 413962 |d 413962 |