default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID28th IFL 2016: Leuven, Belgium
- Tom Schrijvers:
Proceedings of the 28th Symposium on the Implementation and Application of Functional Programming Languages, IFL 2016, Leuven, Belgium, August 31 - September 2, 2016. ACM 2016, ISBN 978-1-4503-4767-9 - Yann Orlarey, Pierre Jouvelot:
Signal Rate Inference for Multidimensional Faust. 1:1-1:12 - Falco Peijnenburg, Jurriaan Hage
, Alejandro Serrano:
Type Directives and Type Graphs in Elm. 2:1-2:12 - Peter Achten, Jurriën Stutterheim, Bas Lijnse, Rinus Plasmeijer:
Towards the Layout of Things. 3:1-3:13 - Jan Martin Jansen, John H. G. van Groningen:
A Portable VM-based implementation Platform for non-strict Functional Programming Languages. 4:1-4:14 - Venanzio Capretta, Graham Hutton, Mauro Jaskelioff:
Contractive Functions on Infinite Data Structures. 5:1-5:13 - David Tolpin, Jan-Willem van de Meent, Hongseok Yang, Frank D. Wood:
Design and Implementation of Probabilistic Programming Language Anglican. 6:1-6:12 - S. Doaitse Swierstra, Marcos Viera, Atze Dijkstra:
A Lazy Language Needs a Lazy Type System: Introducing Polymorphic Contexts. 7:1-7:12 - Gabriel Radanne, Vasilis Papavasileiou, Jérôme Vouillon, Vincent Balat:
Eliom: tierless Web programming from the ground up. 8:1-8:12 - Patrick Kasting, Michael R. Hansen, Steen Vester:
Synthesis of Railway-Signaling Plans using Reachability Games. 9:1-9:13 - Olaf Chitil, Maarten Faddegon, Colin Runciman:
A Lightweight Hat: Simple Type-Preserving Instrumentation for Self-Tracing Lazy Functional Programs. 10:1-10:14 - Pablo Lamela Seijas, Simon J. Thompson:
Identifying and introducing interfaces and callbacks using Wrangler. 11:1-11:13
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2026-05-15 23:29 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
