切換：
- 簡略
- 詳細(MARC)
- ISBD
-
Trends in functional programming17th International Conference, TFP 2016, College Park, MD, USA, June 8-10, 2016 : revised selected papers /
正題名/作者 ： Trends in functional programming/ edited by David Van Horn, John Hughes.
其他題名 ： 17th International Conference, TFP 2016, College Park, MD, USA, June 8-10, 2016 : revised selected papers /
其他題名 ： TFP 2016
其他作者 ： Van Horn, David.
團體作者 ： International Symposium on Trends in Functional Programming
出版者 ： Cham :Springer International Publishing :2019.
面頁冊數 ： ix, 193 p. :ill. (some col.), digital ;24 cm.
Contained By ： Springer eBooks
標題 ： Functional programming (Computer science) - Congresses. -
電子資源 ： 線上閱讀(Springer)
ISBN ： 9783030148058$q(electronic bk.)
ISBN ： 9783030148041$q(paper)
LEADER 02115cmm 2200277 a 450
001 302345
006 m d
007 cr nn 008maaau
008 190220s2019 gw s 0 eng d
020 $a9783030148058$q(electronic bk.)
020 $a9783030148041$q(paper)
035 $a00354658
041 0 $aeng
050 4$aQA76.62
082 04$a005.11$223
090 $aE-BOOK/005.11///UE037007
111 2 $aInternational Symposium on Trends in Functional Programming$n(17th :$d2016 :$cCollege Park, Md.)$3541372
245 10$aTrends in functional programming$h[electronic resource] :$b17th International Conference, TFP 2016, College Park, MD, USA, June 8-10, 2016 : revised selected papers /$cedited by David Van Horn, John Hughes.
246 3 $aTFP 2016
260 $aCham :$bSpringer International Publishing :$bImprint: Springer,$c2019.
300 $aix, 193 p. :$bill. (some col.), digital ;$c24 cm.
490 1 $aLecture notes in computer science,$x0302-9743 ;$v10447
490 1 $aTheoretical computer science and general issues
505 0 $aImplementation Techniques -- Space-Ecient Latent Contracts -- Cactus Environment Machine: Shared Environment Call-by-Need -- Improving Sequential Performance of Erlang Based on a Meta-tracing Just-In-Time Compiler -- Types and Verication Proving Type Class Laws for Haskell -- Dynamic Flow Analysis for JavaScript -- A Type Inference System Based on Saturation of Subtyping Constraints -- Programming -- Project Report: Dependently typed programming with lambda encodings in Cedille -- Threading the Arduino with Haskell -- The Random Access Zipper: Simple, Persistent Sequences -- Building a Generic Feedback System for Rule-based Problems.
520 $aThis book constitutes the refereed proceedings of the 17th International Conference on Trends in Functional Programming, TFP 2016, held in College Park, USA, in June 2016. The 10 full papers presented in this volume were carefully reviewed and selected from 18 submissions. The papers were organized in topical sections named: implementation techniques; types and verification; and programming.
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$aProgramming Techniques.$3403281
650 24$aProgramming Languages, Compilers, Interpreters.$3406592
650 24$aArtificial Intelligence.$3263467
700 1 $aVan Horn, David.$3541373
700 1 $aHughes, John.$3205434
710 2 $aSpringerLink (Online service)$3374217
773 0 $tSpringer eBooks
830 0$aLecture notes in computer science ;$v10447.$3541374
830 0$aTheoretical computer science and general issues.$3538300
856 40$uhttps://erm.library.ntpu.edu.tw/login?url=https://doi.org/10.1007/978-3-030-14805-8$z線上閱讀(Springer)
950 $aComputer Science (Springer-11645)
Trends in functional programming17th International Conference, TFP 2016, College Park, MD, USA, June 8-10, 2016 : revised selected papers /[electronic resource] :TFP 2016edited by David Van Horn, John Hughes. - Cham :Springer International Publishing :2019. - ix, 193 p. :ill. (some col.), digital ;24 cm. - Lecture notes in computer science,104470302-9743 ;. - Lecture notes in computer science ;10447..
Implementation Techniques -- Space-Ecient Latent Contracts -- Cactus Environment Machine: Shared Environment Call-by-Need -- Improving Sequential Performance of Erlang Based on a Meta-tracing Just-In-Time Compiler -- Types and Verication Proving Type Class Laws for Haskell -- Dynamic Flow Analysis for JavaScript -- A Type Inference System Based on Saturation of Subtyping Constraints -- Programming -- Project Report: Dependently typed programming with lambda encodings in Cedille -- Threading the Arduino with Haskell -- The Random Access Zipper: Simple, Persistent Sequences -- Building a Generic Feedback System for Rule-based Problems.
This book constitutes the refereed proceedings of the 17th International Conference on Trends in Functional Programming, TFP 2016, held in College Park, USA, in June 2016. The 10 full papers presented in this volume were carefully reviewed and selected from 18 submissions. The papers were organized in topical sections named: implementation techniques; types and verification; and programming.
ISBN: 9783030148058$q(electronic bk.)Subjects--Topical Terms:
148131
Functional programming (Computer science)
--Congresses.
LC Class. No.: QA76.62
Dewey Class. No.: 005.11
Implementation Techniques -- Space-Ecient Latent Contracts -- Cactus Environment Machine: Shared Environment Call-by-Need -- Improving Sequential Performance of Erlang Based on a Meta-tracing Just-In-Time Compiler -- Types and Verication Proving Type Class Laws for Haskell -- Dynamic Flow Analysis for JavaScript -- A Type Inference System Based on Saturation of Subtyping Constraints -- Programming -- Project Report: Dependently typed programming with lambda encodings in Cedille -- Threading the Arduino with Haskell -- The Random Access Zipper: Simple, Persistent Sequences -- Building a Generic Feedback System for Rule-based Problems.
This book constitutes the refereed proceedings of the 17th International Conference on Trends in Functional Programming, TFP 2016, held in College Park, USA, in June 2016. The 10 full papers presented in this volume were carefully reviewed and selected from 18 submissions. The papers were organized in topical sections named: implementation techniques; types and verification; and programming.
ISBN: 9783030148058$q(electronic bk.)Subjects--Topical Terms:
148131
Functional programming (Computer science)
--Congresses.
LC Class. No.: QA76.62
Dewey Class. No.: 005.11
- 館藏(1)
- 心得(0)
- 標籤
- 相同喜好的讀者(0)
- 相關資料(0)
發表心得