03418nam 22007575 450 991034942340332120230222085838.03-319-89719-510.1007/978-3-319-89719-6(CKB)4100000003359649(DE-He213)978-3-319-89719-6(MiAaPQ)EBC6302115(MiAaPQ)EBC5578332(Au-PeEL)EBL5578332(OCoLC)1034540513(PPN)22669660X(EXLCZ)99410000000335964920180418d2018 u| 0engurnn|008mamaatxtrdacontentcrdamediacrrdacarrierTrends in Functional Programming 18th International Symposium, TFP 2017, Canterbury, UK, June 19-21, 2017, Revised Selected Papers /edited by Meng Wang, Scott Owens1st ed. 2018.Cham :Springer International Publishing :Imprint: Springer,2018.1 online resource (VII, 149 p. 48 illus.) Theoretical Computer Science and General Issues,2512-2029 ;107883-319-89718-7 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.Theoretical Computer Science and General Issues,2512-2029 ;10788Computer programmingSoftware engineeringOperating systems (Computers)Compilers (Computer programs)Computers, Special purposeComputer systemsProgramming TechniquesSoftware EngineeringOperating SystemsCompilers and InterpretersSpecial Purpose and Application-Based SystemsComputer System ImplementationComputer programming.Software engineering.Operating systems (Computers).Compilers (Computer programs).Computers, Special purpose.Computer systems.Programming Techniques.Software Engineering.Operating Systems.Compilers and Interpreters.Special Purpose and Application-Based Systems.Computer System Implementation.005.114Wang Mengedthttp://id.loc.gov/vocabulary/relators/edtOwens Scottedthttp://id.loc.gov/vocabulary/relators/edtMiAaPQMiAaPQMiAaPQBOOK9910349423403321Trends in Functional Programming1947569UNINA