Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic Scholar26. 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 - 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
maintained by 
at 
at 
last updated on 2018-12-15 20:58 CET by the dblp team
data released under the ODC-BY 1.0 license
see also: Terms of Use | Privacy Policy | Imprint