國立虎尾科技大學 |

Trends in Functional Programming = 15th International Symposium, TFP 2014, Soesterberg, The Netherlands, May 26-28, 2014. Revised Selected Papers /

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	Trends in Functional Programming/ edited by Jurriaan Hage, Jay McCarthy.
其他題名:	15th International Symposium, TFP 2014, Soesterberg, The Netherlands, May 26-28, 2014. Revised Selected Papers /
其他作者:	Hage, Jurriaan.
面頁冊數:	IX, 143 p. 29 illus.online resource. :
Contained By:	Springer Nature eBook
標題:	Computer programming. -
電子資源:	https://doi.org/10.1007/978-3-319-14675-1
ISBN:	9783319146751

Trends in Functional Programming = 15th International Symposium, TFP 2014, Soesterberg, The Netherlands, May 26-28, 2014. Revised Selected Papers /
Trends in Functional Programming15th International Symposium, TFP 2014, Soesterberg, The Netherlands, May 26-28, 2014. Revised Selected Papers /[electronic resource] :edited by Jurriaan Hage, Jay McCarthy. - 1st ed. 2015. - IX, 143 p. 29 illus.online resource. - Theoretical Computer Science and General Issues ;8843. - Theoretical Computer Science and General Issues ;9163.

Balancing Shared and Distributed Heaps on NUMA Architectures -- Resource-Dependent Algebraic Effects -- Call Arity -- Graph Problems and Vector-Matrix Multiplications in Haskell -- A Functional Approach to Sex: Reproduction in the Créatúr Framework -- Type Generic Observing -- Refactorings to Enable Parallelization -- Tonic: An Infrastructure to Graphically Represent the Definition and Behaviour of Tasks.

This book constitutes the thoroughly refereed revised selected papers of the 15th International Symposium on Trends in Functional Programming, TFP 2014, held in Soesterberg, The Netherlands, in May 2014. The 8 revised full papers included in this volume were carefully and selected from 22 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.

ISBN: 9783319146751

Standard No.: 10.1007/978-3-319-14675-1doiSubjects--Topical Terms:

527822
Computer programming.

LC Class. No.: QA76.6-76.66

Dewey Class. No.: 005.11

Trends in Functional Programming = 15th International Symposium, TFP 2014, Soesterberg, The Netherlands, May 26-28, 2014. Revised Selected Papers /
LDR:02361nam a22004095i 4500 001 969491
003 DE-He213
005 20200630040855.0
007 cr nn 008mamaa
008 201211s2015 gw | s |||| 0|eng d
020 $a 9783319146751 $9 978-3-319-14675-1
024 7 $a 10.1007/978-3-319-14675-1 $2 doi
035 $a 978-3-319-14675-1
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 Trends in Functional Programming $h [electronic resource] : $b 15th International Symposium, TFP 2014, Soesterberg, The Netherlands, May 26-28, 2014. Revised Selected Papers / $c edited by Jurriaan Hage, Jay McCarthy.
250 $a 1st ed. 2015.
264 1 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2015.
300 $a IX, 143 p. 29 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 8843
505 0 $a Balancing Shared and Distributed Heaps on NUMA Architectures -- Resource-Dependent Algebraic Effects -- Call Arity -- Graph Problems and Vector-Matrix Multiplications in Haskell -- A Functional Approach to Sex: Reproduction in the Créatúr Framework -- Type Generic Observing -- Refactorings to Enable Parallelization -- Tonic: An Infrastructure to Graphically Represent the Definition and Behaviour of Tasks.
520 $a This book constitutes the thoroughly refereed revised selected papers of the 15th International Symposium on Trends in Functional Programming, TFP 2014, held in Soesterberg, The Netherlands, in May 2014. The 8 revised full papers included in this volume were carefully and selected from 22 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.
650 0 $a Computer programming. $3 527822
650 0 $a Programming languages (Electronic computers). $3 1127615
650 0 $a Computer logic. $3 786340
650 0 $a Artificial intelligence. $3 559380
650 1 4 $a Programming Techniques. $3 669781
650 2 4 $a Programming Languages, Compilers, Interpreters. $3 669782
650 2 4 $a Logics and Meanings of Programs. $3 670058
650 2 4 $a Artificial Intelligence. $3 646849
700 1 $a Hage, Jurriaan. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 815650
700 1 $a McCarthy, Jay. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1022990
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer Nature eBook
776 0 8 $i Printed edition: $z 9783319146768
776 0 8 $i Printed edition: $z 9783319146744
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-14675-1
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)