LEADER 03146nam  22005895  450 
001 9910337570503321
005 20240124011838.0
010   $a3-030-14805-X
024 7 $a10.1007/978-3-030-14805-8
035   $a(CKB)4100000007656799
035   $a(DE-He213)978-3-030-14805-8
035   $a(MiAaPQ)EBC5922523
035   $a(PPN)235004154
035   $a(EXLCZ)994100000007656799
100   $a20190220d2019      u|         0
101 0 $aeng
135   $aurnn#008mamaa
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aTrends in Functional Programming $e17th International Conference, TFP 2016, College Park, MD, USA, June 8-10, 2016, Revised Selected Papers /$fedited by David Van Horn, John Hughes
205   $a1st ed. 2019.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2019.
215   $a1 online resource (IX, 193 p. 444 illus., 20 illus. in color.)
225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v10447
311   $a3-030-14804-1 
320   $aIncludes bibliographical references and index.
327   $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.
330   $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. .
410  0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v10447
606   $aComputer programming
606   $aCompilers (Computer programs)
606   $aArtificial intelligence
606   $aProgramming Techniques
606   $aCompilers and Interpreters
606   $aArtificial Intelligence
615  0$aComputer programming.
615  0$aCompilers (Computer programs).
615  0$aArtificial intelligence.
615 14$aProgramming Techniques.
615 24$aCompilers and Interpreters.
615 24$aArtificial Intelligence.
676   $a005.11
702   $aVan Horn$b David$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aHughes$b John$f1958-$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910337570503321
996   $aTrends in Functional Programming$91947569
997   $aUNINA