Trends in Functional Programming 17th International Conference, TFP 2016, College Park, MD, USA, June 8-10, 2016, Revised Selected Papers. Theoretical Computer Science and General Issues

This book constitutes the refereed proceedings of the 17th International Conference on Trends in Functional Programming, TFP 2016, held in College Park, USA, in June 2016. The 10 full papers presented in this volume were carefully reviewed and selected from 18 submissions. The papers were organized in topical sections named: implementation techniques; types and verification; and programming. Front Matter ....Pages I-IX Front Matter ....Pages 1-1 Space-Efficient Latent Contracts (Michael Greenberg)....Pages 3-23 Cactus Environment Machine (George Stelle, Darko Stefanovic, Stephen L. Olivier, Stephanie Forrest)....Pages 24-43 Improving Sequential Performance of Erlang Based on a Meta-tracing Just-In-Time Compiler (Ruochen Huang, Hidehiko Masuhara, Tomoyuki Aotani)....Pages 44-58 Front Matter ....Pages 59-59 Proving Type Class Laws for Haskell (Andreas Arvidsson, Moa Johansson, Robin Touche)....Pages 61-74 Dynamic Flow Analysis for JavaScript (Nico Naus, Peter Thiemann)....Pages 75-93 A Type Inference System Based on Saturation of Subtyping Constraints (Benoît Vaugon, Michel Mauny)....Pages 94-112 Front Matter ....Pages 113-113 Project Report: Dependently Typed Programming with Lambda Encodings in Cedille (Ananda Guneratne, Chad Reynolds, Aaron Stump)....Pages 115-134 Threading the Arduino with Haskell (Mark Grebe, Andy Gill)....Pages 135-154 The Random Access Zipper (Kyle Headley, Matthew A. Hammer)....Pages 155-171 Building a Generic Feedback System for Rule-Based Problems (Nico Naus, Johan Jeuring)....Pages 172-191 Back Matter ....Pages 193-193