IFL 2014

Boston, MA

Welcome to IFL 2014

IFL 2014 will be held October 1st through 3rd at Northeastern University in Boston, Massachusetts.

Follow @IFL_2014 on Twitter for the latest news on IFL.

Getting to IFL

On October 1, IFL will be in the CSC Ballroom in Curry Student Center. The Curry Center is Building 50 on this map. The Ballroom is located on the second floor.

On October 2 & 3, IFL will be in the Raytheon Ampitheater in Egan Research Center. Egan is Building 60 on this map. The Raytheon Ampitheater is located at the west end of the building.

Northeastern University, including both buildings where IFL will be held, is located near the Northeastern stop on the Green Line and the Ruggles stop on the Orange Line of the MBTA. Directions are available here.

Banquet and Excursion

For the excursion, we will be taking a duck boat tour across Boston. We will be leaving the conference venue at 3:30PM. The pick-up point for the duck boat is here:

The conference banquet will be held at Legal Seafoods at Copley Place, which is located across the street from the duck boat pick-up location. The dinner is scheduled to start at 7:30PM.

IFL Information

Submission is now closed.

Pre-proceedings for IFL are available as a ZIP archive of all of the papers and as an Indiana University technical report.

Registration is now open.

The invited talk for IFL 2014 will be given by Niko Matsakis of Mozilla Research


Wednesday, Oct 1
Session: Interfacing. Chair: Peter Achten
10:30 Break
Session: Language Extension. Chair: Matthew Fluet
12:30 Lunch
Session: Keynote. Chair: Sam Tobin-Hochstadt
2:30 Break
Session: Data Flow. Chair: Niko Matsakis
Thursday, Oct 2
Session: Analysis. Chair: Sven-Bodo Schulz
10:30 Break
Session: Encoding. Chair: Clemens Grelck
12:30 Lunch
Session: Types. Chair: Andrew Gill
3:30 Depart for excursion and banquet
Friday, Oct 3
Session: Parallelism. Chair: Lars Bergstrom
10:30 Break
Session: Transformation. Josef Svenningsson
12:30 Lunch
Session: Coordination. Chair: Rinus Plasmeijer
3:00 Break
Session: Tools and Extensions. Chair: Sam Tobin-Hochstadt

Where to eat

There are numerous restaurants near Northeastern:

Symphony Sushi
A sushi restaurant, 5 minutes walk
Pho and I
Thai and Vietnamese food, 5 minutes walk.
Pizzeria Uno
Deep dish pizza, 5 minutes walk.
Punter's Pub
A bar, adjacent to Northeastern.
The Squealing Pig
A bar with food, 15 minutes walk.
Woody's Grill and Tap
Brick oven pizza, 15 minutes walk.

This is just a small selection; Google and Yelp have many more.

Important Dates

All dates are Anywhere on Earth.

Call For Papers

Available in Plain Text and in HTML.


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.

Hotel Information

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:

Email the conference organizers for additional hotel recommendations.


Program Committee