正題名/作者 : Trends in functional programming/ edited by Meng Wang, Scott Owens.
其他題名 : 18th International Symposium, TFP 2017, Canterbury, UK, June 19-21, 2017 : revised selected papers /
其他題名 : TFP 2017
其他作者 : Wang, Meng.
團體作者 : International Symposium on Trends in Functional Programming
出版者 : Cham :Springer International Publishing :2018.
面頁冊數 : vii, 149 p. :ill., digital ;24 cm.
Contained By : Springer eBooks
標題 : Functional programming (Computer science) - Congresses. -
電子資源 : 線上閱讀(Springer)
ISBN : 9783319897196$q(electronic bk.)
ISBN : 9783319897189$q(paper)
LEADER 01718cmm 2200241 a 450
001 286726
008 180418s2018 gw s 0 eng d
020 $a9783319897196$q(electronic bk.)
020 $a9783319897189$q(paper)
035 $a00335719
041 0 $aeng
050 4$aQA76.62
082 04$a005.13$223
090 $aE-BOOK/005.13///UE029473
111 2 $aInternational Symposium on Trends in Functional Programming$n(18th :$d2017 :$cCanterbury, England)$3513096
245 10$aTrends in functional programming$h[electronic resource] :$b18th International Symposium, TFP 2017, Canterbury, UK, June 19-21, 2017 : revised selected papers /$cedited by Meng Wang, Scott Owens.
246 3 $aTFP 2017
260 $aCham :$bSpringer International Publishing :$bImprint: Springer,$c2018.
300 $avii, 149 p. :$bill., digital ;$c24 cm.
490 1 $aLecture notes in computer science,$x0302-9743 ;$v10788
505 0 $aMemoized 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 $aThis 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$aFunctional programming (Computer science)$xCongresses.$3148131
650 0$aLogic design$xComputer programs$vCongresses.$3421498
650 0$aData structures (Computer science)$xCongresses.$3200508
650 14$aComputer Science.$3238508
650 24$aProgramming Techniques.$3403281
650 24$aSoftware Engineering.$3402744
650 24$aOperating Systems.$3407547
650 24$aProgramming Languages, Compilers, Interpreters.$3406592
650 24$aSpecial Purpose and Application-Based Systems.$3406939
650 24$aComputer System Implementation.$3404747
700 1 $aWang, Meng.$3513097
700 1 $aOwens, Scott.$3513098
710 2 $aSpringerLink (Online service)$3374217
773 0 $tSpringer eBooks
830 0$aLecture notes in computer science ;$v10788.$3513099
856 40$uhttps://erm.library.ntpu.edu.tw/login?url=http://dx.doi.org/10.1007/978-3-319-89719-6$z線上閱讀(Springer)
950 $aComputer Science (Springer-11645)