國立虎尾科技大學 |

Trends in Functional Programming = 18th International Symposium, TFP 2017, Canterbury, UK, June 19-21, 2017, Revised Selected Papers /

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	Trends in Functional Programming/ edited by Meng Wang, Scott Owens.
其他題名:	18th International Symposium, TFP 2017, Canterbury, UK, June 19-21, 2017, Revised Selected Papers /
其他作者:	Wang, Meng.
面頁冊數:	VII, 149 p. 48 illus.online resource. :
Contained By:	Springer Nature eBook
標題:	Computer programming. -
電子資源:	https://doi.org/10.1007/978-3-319-89719-6
ISBN:	9783319897196

Trends in Functional Programming = 18th International Symposium, TFP 2017, Canterbury, UK, June 19-21, 2017, Revised Selected Papers /
Trends in Functional Programming18th International Symposium, TFP 2017, Canterbury, UK, June 19-21, 2017, Revised Selected Papers /[electronic resource] :edited by Meng Wang, Scott Owens. - 1st ed. 2018. - VII, 149 p. 48 illus.online resource. - Theoretical Computer Science and General Issues ;10788. - Theoretical Computer Science and General Issues ;9163.

Memoized Flat Closures for CPS -- Maintaining Separation of Concerns Through Task-Oriented Software Development -- Typed Relational Conversion -- A Multi-tier Version of Elm and its Time-Traveling Debugger -- Concurrent System Programming with Effect Handlers -- Automatically Introducing Tail Recursion in CakeML -- The CakeML Compiler Explorer: Tracking Intermediate Representations in a Verified Compiler.

This book constitutes the thoroughly refereed revised selected papers of the 18th International Symposium on Trends in Functional Programming, TFP 2017, held in Canterbury, UK, in June 2017. The 8 revised full papers were selected from 16 submissions and present papers in all aspects of functional programming, taking a broad view of current and future trends in the area.

ISBN: 9783319897196

Standard No.: 10.1007/978-3-319-89719-6doiSubjects--Topical Terms:

527822
Computer programming.

LC Class. No.: QA76.6-76.66

Dewey Class. No.: 005.11

Trends in Functional Programming = 18th International Symposium, TFP 2017, Canterbury, UK, June 19-21, 2017, Revised Selected Papers /
LDR:02249nam a22004095i 4500 001 992327
003 DE-He213
005 20200704172405.0
007 cr nn 008mamaa
008 201225s2018 gw | s |||| 0|eng d
020 $a 9783319897196 $9 978-3-319-89719-6
024 7 $a 10.1007/978-3-319-89719-6 $2 doi
035 $a 978-3-319-89719-6
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 18th International Symposium, TFP 2017, Canterbury, UK, June 19-21, 2017, Revised Selected Papers / $c edited by Meng Wang, Scott Owens.
250 $a 1st ed. 2018.
264 1 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2018.
300 $a VII, 149 p. 48 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 10788
505 0 $a Memoized Flat Closures for CPS -- Maintaining Separation of Concerns Through Task-Oriented Software Development -- Typed Relational Conversion -- A Multi-tier Version of Elm and its Time-Traveling Debugger -- Concurrent System Programming with Effect Handlers -- Automatically Introducing Tail Recursion in CakeML -- The CakeML Compiler Explorer: Tracking Intermediate Representations in a Verified Compiler.
520 $a This book constitutes the thoroughly refereed revised selected papers of the 18th International Symposium on Trends in Functional Programming, TFP 2017, held in Canterbury, UK, in June 2017. The 8 revised full papers were selected from 16 submissions and present papers 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 Software engineering. $3 562952
650 0 $2 lc $a Operating systems (Computers). $3 868175
650 0 $a Programming languages (Electronic computers). $3 1127615
650 0 $a Special purpose computers. $3 1204562
650 0 $a Architecture, Computer. $3 1255731
650 1 4 $a Programming Techniques. $3 669781
650 2 4 $a Software Engineering. $3 669632
650 2 4 $a Operating Systems. $3 669804
650 2 4 $a Programming Languages, Compilers, Interpreters. $3 669782
650 2 4 $a Special Purpose and Application-Based Systems. $3 669833
650 2 4 $a Computer System Implementation. $3 669803
700 1 $a Wang, Meng. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1194690
700 1 $a Owens, Scott. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1203540
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer Nature eBook
776 0 8 $i Printed edition: $z 9783319897189
776 0 8 $i Printed edition: $z 9783319897202
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-89719-6
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)