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:	9783319897196
Publisher:	Springer-Verlag New York, LLC
Publication date:	04/18/2018
Series:	Lecture Notes in Computer Science , #10788
Sold by:	Barnes & Noble
Format:	eBook
File size:	4 MB

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.

​