Trends in Functional Programming: 18th International Symposium, TFP 2017, Canterbury, UK, June 19-21, 2017, Revised Selected Papers

by Meng Wang (Editor), Scott Owens (Editor)

Overview

This book constitutes the thoroughly refereed revised selected papers of the 18^th 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.

Product Details

ISBN-13:	9783319897189
Publisher:	Springer International Publishing
Publication date:	05/24/2018
Series:	Lecture Notes in Computer Science , #10788
Edition description:	1st ed. 2018
Pages:	149
Product dimensions:	6.10(w) x 9.25(h) x (d)

Table of Contents

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.

​