LEADER 03418nam  22007575  450 
001 9910349423403321
005 20230222085838.0
010   $a3-319-89719-5
024 7 $a10.1007/978-3-319-89719-6
035   $a(CKB)4100000003359649
035   $a(DE-He213)978-3-319-89719-6
035   $a(MiAaPQ)EBC6302115
035   $a(MiAaPQ)EBC5578332
035   $a(Au-PeEL)EBL5578332
035   $a(OCoLC)1034540513
035   $a(PPN)22669660X
035   $a(EXLCZ)994100000003359649
100   $a20180418d2018      u|         0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aTrends in Functional Programming $e18th International Symposium, TFP 2017, Canterbury, UK, June 19-21, 2017, Revised Selected Papers /$fedited by Meng Wang, Scott Owens
205   $a1st ed. 2018.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2018.
215   $a1 online resource (VII, 149 p. 48 illus.) 
225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v10788
311   $a3-319-89718-7 
327   $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.
330   $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.
410  0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v10788
606   $aComputer programming
606   $aSoftware engineering
606   $aOperating systems (Computers)
606   $aCompilers (Computer programs)
606   $aComputers, Special purpose
606   $aComputer systems
606   $aProgramming Techniques
606   $aSoftware Engineering
606   $aOperating Systems
606   $aCompilers and Interpreters
606   $aSpecial Purpose and Application-Based Systems
606   $aComputer System Implementation
615  0$aComputer programming.
615  0$aSoftware engineering.
615  0$aOperating systems (Computers).
615  0$aCompilers (Computer programs).
615  0$aComputers, Special purpose.
615  0$aComputer systems.
615 14$aProgramming Techniques.
615 24$aSoftware Engineering.
615 24$aOperating Systems.
615 24$aCompilers and Interpreters.
615 24$aSpecial Purpose and Application-Based Systems.
615 24$aComputer System Implementation.
676   $a005.114
702   $aWang$b Meng$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aOwens$b Scott$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910349423403321
996   $aTrends in Functional Programming$91947569
997   $aUNINA