default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID26. IFL 2014: Boston, MA, USA
- Sam Tobin-Hochstadt:
Proceedings of the 26th 2014 International Symposium on Implementation and Application of Functional Languages, IFL '14, Boston, MA, USA, October 1-3, 2014. ACM 2014, ISBN 978-1-4503-3284-2 - David Raymond Christiansen:
Type-Directed Elaboration of Quasiquotations: A High-Level Syntax for Low-Level Reflection. 1:1-1:9 - Matthew Le, Matthew Fluet:
Combining Shared State with Speculative Parallelism in a Functional Language. 2:1-2:10 - Connor Adsit, Matthew Fluet:
An Efficient Type- and Control-Flow Analysis for System F. 3:1-3:14 - Pieter W. M. Koopman, Rinus Plasmeijer, Jan Martin Jansen:
Church Encoding of Data Types Considered Harmful for Implementations: Functional Pearl. 4:1-4:12 - Arthur Azevedo de Amorim, Marco Gaboardi
, Emilio Jesús Gallego Arias, Justin Hsu:
Really Natural Linear Indexed Type Checking. 5:1-5:12 - László Domoszlai, Bas Lijnse, Rinus Plasmeijer:
Editlets: type-based, client-side editors for iTasks. 6:1-6:13 - Peter Achten, Jurriën Stutterheim, László Domoszlai, Rinus Plasmeijer:
Task Oriented Programming with Purely Compositional Interactive Scalable Vector Graphics. 7:1-7:13 - Markus Aronsson, Emil Axelsson, Mary Sheeran:
Stream Processing for Embedded Domain Specific Languages. 8:1-8:12 - László Domoszlai, Bas Lijnse, Rinus Plasmeijer:
Parametric lenses: change notification for bidirectional lenses. 9:1-9:11 - Olle Fredriksson, Dan R. Ghica, Bertram Wheen:
Towards native higher-order remote procedure calls. 10:1-10:12
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 2024-10-31 20:22 CET 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:
