Welcome to the website for IFL 2019, the 31st 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 2019 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.


The 31st IFL is organized by the National University of Singapore. Singapore is located in the heart of South-East Asia, and the city itself is extremely well connected by trains and taxis.

Park Avenue Hotel is offering special IFL'19 rates, which include transfer to the conference. The special rate for a Superior room are SGD 170 per night and the special rate for a suite is SGD 215 per night. Participants will have the option to book the hotel with the special rates after succesful registration. Registration will be opened soon.

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

Submission of regular papers: 31st May 2019 (Friday)
15th June 2019 (Saturday)
Submission of draft papers: 15th July 2019 (Monday)
1st August 2019 (Thursday)
Regular papers notification: 1st August 2019 (Thursday)
Draft papers notification: 7th August 2019 (Wednesday)
Deadline for early registration: 15th August 2019 (Thursday)
Submission of pre-proceedings version: 15th September 2019 (Sunday)
IFL 2019 Symposium: 25th September 2019 - 27th September 2019 (Wednesday - Friday incl.)
Submission of papers for post-proceedings: (tentative) 30th November 2019 (Saturday)
Notification of acceptance for post-symposium proceedings: (tentative) 31st January 2020 (Friday)
Camera-ready version: (tentative) 29th February 2020 (Saturday)

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 Specifically, you must use the `sigconf` option of the `acmart` package, which can be included in LaTeX with the following:

\acmConference[IFL'19]{International Symposium on Implementation and Application of Functional Languages}{September 2019}{Singapore}

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

Clarification of IFL 2019's Submission Process
(Notice the process has changed w.r.t. previous years)

IFL 2019 solicits two kinds of submissions:

  1. Regular papers (12 pages including references)
  2. Draft papers for presentations ('weak' limit between 8 and 15 pages)

Regular papers will undergo a rigorous review by the program committee, and will be evaluated according to their correctness, novelty, originality, relevance, significance, and clarity. A set of regular papers will be either accepted as-is or conditionally accepted for publication. Authors of accepted papers will be provided with committee reviews. Conditionally accepted papers will be accompanied by a set of mandatory revisions. Regular papers not accepted for publication may be considered as draft papers, at the request of the author.

Draft papers will be screened to make sure that they are within the scope of IFL, and will be accepted for presentation or rejected accordingly.

Prior to the symposium:

Authors of (conditionally) accepted papers and accepted presentations will submit a pre-proceedings version of their work that will appear in the draft proceedings distributed at the symposium. The draft proceedings does not constitute a formal publication. We require that at least one of the authors present the work at IFL 2019.

After the symposium:
Authors of conditionally accepted papers will submit a revised versions of their paper for the formal post-proceedings. The program committee will assess whether the mandatory revisions have been adequately addressed by the authors and thereby determines the final accept/reject status of the paper.
Our interest is to ultimately accept all conditionally accepted papers. If you are an author of a conditionally accepted paper, please make sure that you address all the concerns of the reviewers.

Authors of accepted draft papers for presentation 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 post-proceedings. The program committee will evaluate these submissions according to their correctness, novelty, originality, relevance, significance, and clarity, and will thereby determine whether the paper is accepted or rejected.

At no time may work submitted to IFL be simultaneously submitted to other venues; submissions must adhere to ACM SIGPLAN's republication policy:

Registration Details

There are four categories of conference tickets. The ticket price is in SGD, but for convenience, approximations of the price in other currencies are included as well.

Early bird (student)SGD 295 (~ 195 EUR, 220 USD, 1700 HKD, 23500 JPY)
Early bird (non-student)SGD 395 (~ 260 EUR, 290 USD, 2300 HKD, 31500 JPY)
Regular ticket (student)SGD 395 (~ 260 EUR, 290 USD, 2300 HKD, 31500 JPY)
Regular ticket (non-student) SGD 495 (~ 325 EUR, 365 USD, 2900 HKD, 39500 JPY)

Registration includes participation in the symposium, the social program and conference dinner, and coffee breaks.

Registration will be opened in the near future.

Program Committee

Excursion and Banquet

This IFL's excursion will take participants to the famous Gardens by the Bay, after which a Singapore-style dinner will be served at a nearby restaurant. Additional excursion and dinner tickets are availible for partners for SGD 110.

Steering Committee

The list of Steering Committee members

Organizing Committee

Jurriën Stutterheim, Standard Chartered Bank Singapore
Wei Ngan Chin, National University of Singapore
Please direct any questions you may have towards

Previous IFL Editions


In Cooperation With