Abstract is missing.
- Identifying and introducing interfaces and callbacks using WranglerPablo Lamela Seijas, Simon J. Thompson. [doi]
- Design and Implementation of Probabilistic Programming Language AnglicanDavid Tolpin, Jan-Willem van de Meent, Hongseok Yang, Frank Wood. [doi]
- Type Directives and Type Graphs in ElmFalco Peijnenburg, Jurriaan Hage, Alejandro Serrano. [doi]
- Signal Rate Inference for Multidimensional FaustYann Orlarey, Pierre Jouvelot. [doi]
- Synthesis of Railway-Signaling Plans using Reachability GamesPatrick Kasting, Michael R. Hansen, Steen Vester. [doi]
- A Lazy Language Needs a Lazy Type System: Introducing Polymorphic ContextsS. Doaitse Swierstra, Marcos Viera, Atze Dijkstra. [doi]
- A Lightweight Hat: Simple Type-Preserving Instrumentation for Self-Tracing Lazy Functional ProgramsOlaf Chitil, Maarten Faddegon, Colin Runciman. [doi]
- Towards the Layout of ThingsPeter Achten, Jurriën Stutterheim, Bas Lijnse, Rinus Plasmeijer. [doi]
- Eliom: tierless Web programming from the ground upGabriel Radanne, Vasilis Papavasileiou, Jérôme Vouillon, Vincent Balat. [doi]
- Contractive Functions on Infinite Data StructuresVenanzio Capretta, Graham Hutton, Mauro Jaskelioff. [doi]
- A Portable VM-based implementation Platform for non-strict Functional Programming LanguagesJan Martin Jansen, John H. G. van Groningen. [doi]