Trends in Functional Programming: 17th International Conference, Tfp 2016, College Park, MD, Usa, June 8-10, 2016, Revised Selected Papers

ISBN-13: 9783030148041 / Angielski / Miękka / 2019 / 193 str.

David Van Horn; John Hughes

Spis treści

Implementation Techniques.- Space-Ecient Latent Contracts.- Cactus Environment Machine: Shared Environment Call-by-Need.- Improving Sequential Performance of Erlang Based on a Meta-tracing Just-In-Time Compiler.- Types and Verication Proving Type Class Laws for Haskell.- Dynamic Flow Analysis for JavaScript.- A Type Inference System Based on Saturation of Subtyping Constraints.- Programming.- Project Report: Dependently typed programming with lambda encodings in Cedille.- Threading the Arduino with Haskell.- The Random Access Zipper: Simple, Persistent Sequences.- Building a Generic Feedback System for Rule-based Problems.