IFL 2013

The 25th symposium on Implementation and Application of Functional Languages

    August 28 - 30 2013 - Radboud University Nijmegen - "Landgoed Holthurnsche Hof" - The Netherlands  
Huygens building
Holthurnsche Hof
Huygens building, Radboud University Nijmegen, Heyendaalseweg 135, Nijmegen
Venue "Holthurnsche Hof", Zevenheuvelenweg 48a, Berg en Dal

Quick links
Call for papers (pdf, txt) Registration details Symposium program Important dates

& Contact

IFL home


Welcome to the website for IFL 2013, the 25th Symposium on Implementation and Application of Functional Languages. IFL 2013 is organized in cooperation with ACM/SIGPLAN. 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 2013 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.


We are proud to announce that IFL 2013 is the 25th edition of the series! It is our pleasure that the 25th edition returns to its roots at the Radboud University Nijmegen in the Netherlands. For this reason, we have organized a 25th IFL reunion in the evening of august 28, starting at 20:00h. The reunion is included in the standard registration fee. It is possible to only register for the reunion. For further information, please check the registration details.

Invited speaker: Lennart Augustsson

We are honored to have Lennart Augustsson as invited speaker at IFL 2013. Lennart Augustsson was previously a lecturer at the Computing Science Department at Chalmers University of Technology. His research field is functional programming and implementations of functional languages. Augustsson has worked for Carlstedt Research and Technology, Sandburst, and Credit Suisse and is currently employed by Standard Chartered Bank. Lennart Augustsson is the author of:

Title: Implementation and Application of Functional Languages - A personal perspective
It is now over 30 years ago since I implemented my first functional language, and over 15 years ago since I wrote my first commercial application. In this talk I will look back to those bygone days and remind you of things that you might have forgotten or never known. The talk will be absolutely free of anything new.


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 2013 is 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 2013 will use a post-symposium review process to produce the formal proceedings which will be published in the ACM Digital Library. All participants of IFL 2013 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.


IFL welcomes submissions describing practical and theoretical work as well as submissions describing applications and tools. If you are not sure that your work is appropriate for IFL 2013, please contact the PC chair at rinus AT cs DOT ru DOT nl. Topics of interest include, but are not limited to:

language concepts run-time code generation
type checking partial evaluation
contracts (abstract) interpretation
compilation techniques generic programming
metaprogramming automatic program generation
staged compilation array processing
run-time function specialization run-time profiling and performance measurements
concurrent/parallel programming debugging and tracing
concurrent/parallel program execution virtual/abstract machine architectures
FP and embedded systems validation and verification of functional programs
FP and web applications tools and programming techniques
FP and security (industrial) applications of FP
novel memory management techniques ...

Important Dates

Submission deadline for draft papers: July 31 2013
Notification of acceptance for presentation: August 2 2013
Early registration deadline: August 7 2013
Late registration deadline: August 14 2013
Submission deadline for pre-symposium proceedings: August 21 2013
25th IFL Symposium: August 28-30 2013
Submission deadline for post-symposium proceedings: November 11 2013
Notification of acceptance for post-symposium proceedings: December 18 2013
Camera-ready version for post-symposium proceedings: February 3 2014

Submission Details

Prospective authors are encouraged to submit papers or extended abstracts to be published in the draft proceedings and to present them at the symposium. All contributions must be written in English. Papers must adhere to the standard ACM two columns conference format. For the pre-symposium proceedings we adopt a ‘weak’ page limit of 12 pages. For the post-symposium proceedings the page limit of 12 pages is firm. A suitable document template for LaTeX is found at:

Papers are to be submitted via the conference's EasyChair submission page:

Symposium Program

Here you can find the symposium program including links to the symposium submissions (versions as of august 26 2013 + 3 paper updates + 1 presentation swap), links to uploaded presentation slides, and including session chairs.
If your Internet is fast enough, you can download all papers in one go.


View Larger Map

The 25th IFL is organized by the Radboud University Nijmegen, Model Based Software Development Department at the Nijmegen Institute for Computing and Information Sciences.
The event is held in the Landgoed Holthurnsche Hof, a rural estate in the woodlands surrounding Nijmegen.
To reach Nijmegen by train, consult national railway (NS) information site ( for planning your trip. Train tickets must be purchased at the railway station before boarding using the yellow-blue NS self-service ticket machines. Alternatively, you can buy and print e-tickets. The full fare for travelling from Schiphol airport to Nijmegen Central Station is €18.30.
At Nijmegen Central Station, you can choose to either take a bus or a taxi.

The long term weather forecast predicts temperatures around 24° Celcius / 75° Fahrenheit with a slim chance (10%-20%) of light showers.

Registration details

You need to register separately for the accomodation and the event. Please proceed as follows:

  1. Accomodation, via Landgoed Holthurnsche Hof. Please download and print the registration form. Enter all information on both sides of the form. Send the completely filled in form either as attachment to or by fax to 0031-24 6842661.
    Due to the expected number of participants we have reserved accomodation in two hotels. Participants will be allocated as much as possible in the Landgoed Holthurnsche Hof on a first-come first-serve basis. Additional accomodation is arranged for in the nearby located Hotel Erica. We have arranged a taxi shuttle to transport participants in the morning and evening between Hotel Erica and Landgoed Holthurnsche Hof.
  2. IFL event, via On this site you find the following tickets:

Peter Landin prize

The Peter Landin Prize is awarded to the best paper presented at the symposium every year. The honoured article is selected by the program committee based on the submissions received for the formal review process. The prize carries a cash award equivalent to € 150.

Programme committee

Organizing committee and contact

Registered participants

page last updated: september 5 2013