Lowell, MA, USA

Lowell, MA, USA


Welcome to the website for IFL 2018, the 30th Symposium on Implementation and Application of Functional Languages. 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 2018 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.


  • March 2018 Exciting news! Adam Chlipala and Arjun Guha will be our keynote speakers. Check out their fantastic work!
  • 02-25-2018 IFL 2018 website created! Many thanks to previous organizers for sharing the recently adopted website template.

Keynote Speakers

Adam Chlipala, Massachusetts Institute of Technology CSAIL

Arjun Guha, University of Massachusetts Amherst


The 30th IFL is organized by the University of Massachusetts Lowell, and will take place at the UMass Lowell Inn & Conference Center.
The City of Lowell is located at the heart of the Merrimack Valley just 30 miles northwest of Boston. Lowell can be easily reached by train or taxi.

UMass Lowell Inn & Conference Center

UMass Lowell Inn & Conference Center
50 Warren St, Lowell, MA 01852
Phone: 978-934-6920

Important Dates -- Time Zone: AoE (UTC-12h)

Submission of regular papers: 25th May, 2018 (Friday)
Submission of draft papers: 17th July, 2018 (Tuesday)
Regular and draft papers notification: 20th July, 2018 (Friday)
Deadline for early registration: 8th August, 2018 (Wednesday)
Submission of pre-proceedings version: 29th August, 2018 (Wednesday)
IFL 2018 Symposium: 5th September 2018 - 7th September 2018 (Wednesday - Friday incl.)
Submission of papers for post-proceedings: 7th November, 2018 (Wednesday)
Notification of acceptance for post-symposium proceedings: 22nd December, 2018 (Sunday)
Camera-ready version: 10 February, 2019 (Sunday)

Submission Details

Prospective authors are encouraged to submit full papers and draft papers. All contributions must be written in English. Papers must adhere to the standard ACM SIGCONF (sigconf) two columns conference format, which can be found at https://www.acm.org/publications/proceedings-template. Specifically, you must use the `sigconf` option of the `acmart` package, which can be included in LaTeX with the following:

\acmConference[IFL'18]{International Symposium on Implementation and Application of Functional Languages}{August 2019}{Lowell, MA, USA}

For pre- and post-symposium full paper submissions, the limit is firm and is 12 pages. Draft papers submissions are roughly between 8 and 15 pages.

Submit through EasyChair

At no time may work submitted to IFL be simultaneously submitted to other venues; submissions must adhere to ACM SIGPLAN's republication policy: http://www.sigplan.org/Resources/Policies/Republication

Program Committee

Arthur Charguéraud Inria, FR
Ben Delaware Purdue University, USA
Christos Dimoulas Northwestern University, USA
David Darais University of Vermont, USA
Dominic Orchard University of Kent, UK
Ekaterina Komendantskaya Heriot-Watt University, UK
Garrett Morris University of Kansas, USA
Heather Miller EPFL & Northeastern University, CH & USA
Jeremy Yallop University of Cambridge, UK
Keiko Nakata SAP Innovation Center Potsdam, DE
Laura Castro University of A Coruña, ESP
Magnus Myreen Chalmers University of Technology, SWE
Natalia Chechina Bournemouth University, UK
Peter Achten Radboud Universiteit Nijmegen, NL
Peter-Michael Osera Grinnell College, USA
Richard Eisenberg Bryn Mawr College, USA
Trevor McDonell University of New South Wales, AUS
Yukiyoshi Kameyama University of Tsukuba, JAP

Steering Committee

The list of Steering Committee members

Organizing Committee

Jay McCarthy, University of Massachusetts Lowell
Matteo Cimini, University of Massachusetts Lowell
Please direct any questions you may have towards ifl2018@easychair.org.

Previous IFL Editions