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.
Edited by:
Meng Wang, Scott Owens Imprint: Springer International Publishing AG Country of Publication: Switzerland Edition: 2018 ed. Volume: 10788 Dimensions:
Height: 235mm,
Width: 155mm,
Weight: 454g ISBN:9783319897189 ISBN 10: 3319897187 Series:Theoretical Computer Science and General Issues Pages: 149 Publication Date:19 April 2018 Audience:
Professional and scholarly
,
College/higher education
,
Undergraduate
,
Further / Higher Education
Format:Paperback Publisher's Status: Active
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.