IFL 2014 will be held October 1st through 3rd at Northeastern University in Boston, Massachusetts.
Submission is now closed.
Follow @IFL_2014 on Twitter for the latest news on IFL.
Registration is now open.
The invited talk for IFL 2014 will be given by Niko Matsakis of Mozilla Research
- Submission deadline for draft papers: September 8th --- NEW DEADLINE
- Notification of acceptance for presentation: September 10
- Early registration deadline: September 11
- Late registration deadline: September 17
- Submission deadline for pre-symposium proceedings: September 24
- 26th IFL Symposium: October 1-3
- Submission deadline for post-symposium proceedings: December 15
- Notification of acceptance for post-symposium proceedings: January 31 2015
- Camera-ready version for post-symposium proceedings: March 15 2015
All dates are Anywhere on Earth.
- David Raymond Christiansen. Type-Directed Elaboration of Quasiquotations: A High-Level Syntax for Low-Level Reflection
- James Gil de Lamadrid. FEDELE: A Mechanism for Exending the Syntax and Semantics for the Hybrid Functional-Object-Oriented Scripting Language FOBS
- Anton Tayanovskyy, Simon Fowler, Loic Denuziere and Adam Granicz. Reactive Web Applications with Embedded Dynamic Dataflow in F#
- Connor Adsit and Matthew Fluet. An Efficient Type- and Control-Flow Analysis for System F
- Jose Manuel Calderon Trilla and Colin Runciman. An Iterative Compiler for Implicit Parallelism
- Gershom Bazerman. Flipping Fold, Reformulating Reduction
- Philipp Schuster and Ralf Lämmel. Declaration-level Change and Dependency Analysis of Hackage Packages
- Laszlo Domoszlai, Bas Lijnse and Rinus Plasmeijer. Editlets: type based client side editors for iTasks
- Mathieu Boespflug, Facundo Dominguez, Alexander Vershilov and Allen Brown. Project H: Programming R in Haskell
- Connor Smith. Abstract machines for higher-order term sharing
- Peter Kourzanov. Bidirectional parsing: a functional/logic perspective
- Olle Fredriksson, Dan Ghica and Bertram Wheen. Towards a native higher-order RPC
- Laszlo Domoszlai, Bas Lijnse and Rinus Plasmeijer. Parametric lenses: change notification for bidirectional lenses
- Sven-Bodo Scholz. Branch and Bound in a Data Parallel Setting
- Clemens Grelck and Heinrich Wiesinger. Selected Issues in Persistent Asynchronous Adaptive Specialization for Generic Array Programming
- Markus Aronsson, Emil Axelsson and Mary Sheeran. Stream Processing for Embedded Domain Specific Languages
- Michael Arntzenius. Moxy: a language with monoidally extensible syntax
- Thomas Schmorleiz and Ralf Lämmel. Towards Tool Support for History Annotations in Similarity Management
- Stuart Gordon and Sven-Bodo Scholz. Dynamic resource adaptation for coordinating runtime systems
- Brad Torrence, Mike Stees and Andrew Gill. Worker/wrapper for a Better Life
- Steven Keuchel and Tom Schrijvers. Towards efficient implementations of effect handlers
The goal of the IFL symposia is to bring together researchers actively engaged in the implementation and application of functional and function-based programming languages. IFL 2014 will be a venue for researchers to present and discuss new ideas and concepts, work in progress, and publication-ripe results related to the implementation and application of functional languages and function-based programming.
Following the IFL tradition, IFL 2014 will use a post-symposium review process to produce the formal proceedings. All participants of IFL 2014 are invited to submit either a draft paper or an extended abstract describing work to be presented at the symposium. At no time may work submitted to IFL be simultaneously submitted to other venues; submissions must adhere to ACM SIGPLAN's republication policy:
The submissions will be screened by the program committee chair to make sure they are within the scope of IFL, and will appear in the draft proceedings distributed at the symposium. Submissions appearing in the draft proceedings are not peer-reviewed publications. Hence, publications that appear only in the draft proceedings do not count as publication for the ACM SIGPLAN republication policy. After the symposium, authors will be given the opportunity to incorporate the feedback from discussions at the symposium and will be invited to submit a revised full article for the formal review process. From the revised submissions, the program committee will select papers for the formal proceedings considering their correctness, novelty, originality, relevance, significance, and clarity.
Boston provides a wide variety of hotel choices. Northeastern University is on the MBTA Green line, and easily accessible from most of Boston. A few recommended hotel choices near Northeastern:
The Inn at Longwood The closest hotel to the conference site, about a 10 minute walk.
The Midtown Hotel A 15 minute walk from the conference site.
Email the conference organizers for additional hotel recommendations.
- Sam Tobin-Hochstadt, Chair
- Sam Tobin-Hochstadt, Indiana University
- Rinus Plasmeijer, Radboud University Nijmegen
- Atze Dijkstra, Utrecht University
- Colin Runciman, University of York
- Graham Hutton, University of Nottingham
- Mary Sheeran, Chalmers University of Technology
- Patricia Johann, Appalachian State University
- Matthew Fluet, Rochester Institute of Technology
- Josef Svenningsson, Chalmers University of Technology
- Małgorzata Biernacka, University of Wroclaw
- Peter Achten, Radboud Univerity Nijmegen
- Laura Castro, University of A Coruña
- Hai Paul Liu, Intel Labs
- Kathryn Gray, Cambridge University
- Lars Bergstrom, Mozilla Research
- Lindsey Kuper, Indiana University
- Nicolas Wu, Oxford
- T. Stephen Strickland, Brown University
- Xavier Clerc, INRIA