Trends in Functional Programming  18th International Symposium, TFP 2017, Canterbury, UK, June 19-21, 2017, Revised Selected Papers /  [electronic resource] : 
edited by Meng Wang, Scott Owens. 
 - 1st ed. 2018. 
 - VII, 149 p. 48 illus.  online resource. 
 - Theoretical Computer Science and General Issues,  10788  2512-2029 ; .
 - Theoretical Computer Science and General Issues,  10788 .
<br/><br/>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. 
<br/><br/> 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. 
<br/><br/><label>ISBN: </label>9783319897196 
<br/><br/><label>Standard No.: </label>10.1007/978-3-319-89719-6  doi 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer programming.<br/>Software engineering.<br/>Operating systems (Computers).<br/>Compilers (Computer programs).<br/>Computers, Special purpose.<br/>Computer systems.<br/>Programming Techniques.<br/>Software Engineering.<br/>Operating Systems.<br/>Compilers and Interpreters.<br/>Special Purpose and Application-Based Systems.<br/>Computer System Implementation.
<br/><br/><label>LC Class. No.: </label>QA76.6-76.66 
<br/><br/><label>Dewey Class. No.: </label>005.11