ask others

26. IFL 2014: Boston, MA, USA

> Home > Conferences and Workshops > IFL

- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/ifl/2014
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ifl/2014
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
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ifl/Christiansen14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ifl/Christiansen14
David Raymond Christiansen:
Type-Directed Elaboration of Quasiquotations: A High-Level Syntax for Low-Level Reflection. 1:1-1:9
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ifl/LeF14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ifl/LeF14
Matthew Le, Matthew Fluet:
Combining Shared State with Speculative Parallelism in a Functional Language. 2:1-2:10
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ifl/AdsitF14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ifl/AdsitF14
Connor Adsit, Matthew Fluet:
An Efficient Type- and Control-Flow Analysis for System F. 3:1-3:14
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ifl/KoopmanPJ14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ifl/KoopmanPJ14
Pieter W. M. Koopman, Rinus Plasmeijer, Jan Martin Jansen:
Church Encoding of Data Types Considered Harmful for Implementations: Functional Pearl. 4:1-4:12
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ifl/AmorimGAH14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ifl/AmorimGAH14
Arthur Azevedo de Amorim, Marco Gaboardi, Emilio Jesús Gallego Arias, Justin Hsu:
Really Natural Linear Indexed Type Checking. 5:1-5:12
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ifl/DomoszlaiLP14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ifl/DomoszlaiLP14
László Domoszlai, Bas Lijnse, Rinus Plasmeijer:
Editlets: type-based, client-side editors for iTasks. 6:1-6:13
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ifl/AchtenSDP14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ifl/AchtenSDP14
Peter Achten, Jurriën Stutterheim, László Domoszlai, Rinus Plasmeijer:
Task Oriented Programming with Purely Compositional Interactive Scalable Vector Graphics. 7:1-7:13
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ifl/AronssonAS14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ifl/AronssonAS14
Markus Aronsson, Emil Axelsson, Mary Sheeran:
Stream Processing for Embedded Domain Specific Languages. 8:1-8:12
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ifl/DomoszlaiLP14a
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ifl/DomoszlaiLP14a
László Domoszlai, Bas Lijnse, Rinus Plasmeijer:
Parametric lenses: change notification for bidirectional lenses. 9:1-9:11
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ifl/FredrikssonGW14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ifl/FredrikssonGW14
Olle Fredriksson, Dan R. Ghica, Bertram Wheen:
Towards native higher-order remote procedure calls. 10:1-10:12

maintained by

, founded at