International Symposia/Workshops on Implementation and Application of Functional Languages

This is the official web-site for the International Symposia on Implementation and Application of Functional Languages -- IFL. The name was changed in 2004 to add the term application, and from 2006 the title was changed from Workshop to Symposium, in line with similar events such as LOPSTR or TFP. These changes reflect both the broader scope IFL has gained over recent years, the long-standing production of a high-quality and respected refereed post-proceedings, and an increasing trend towards moving functional languages out of the research laboratory and into the real world.

Current Symposium

History of IFL

The first workshop on the Implementation of Functional Languages on Parallel Architectures was held in Nijmegen, the Netherlands in 1989. IFL has run as an annual international event since then. From 1996, a selection of the best papers presented each year has been published by Springer-Verlag in their Series of Lecture Notes in Computer Science (LNCS). These papers are selected by a rigorous post-facto refereeing process to form a formal proceedings of the workshop, with papers undergoing two rounds of revision before publication. The 2013 meeting will be the 25th IFL, and we plan to hold special events to celebrate this important occasion.

Scope of the IFL Symposia

The scope of the symposia covers all aspects of the implementation and use of functional programming languages, including but not limited to: compilation and interpretation, abstract machine design, parallel and concurrent implementation, automatic program generation, novel applications, tools and techniques, program analysis, runtime profiling, memory management, type checking, computer architectures, array processing, debugging and tracing, language concepts, verification and formal aspects. The current symposium description will contain more precise details and guidance.

IFL Steering Committee

The IFL steering committee deals with the long term planning of the symposium series and is drawn on to form the core of the Programme Committee for each symposium. The chair of the steering committee is Prof. Rinus Plasmeijer, University of Nijmegen.

The Peter Landin Prize

The Peter Landin Prize of €150 is awarded to the best paper presented at the symposium each year, as selected by the programme committee. The prize was first awarded for a paper presented at IFL 2002, with the first prize ceremony being conducted at IFL 2003 in Edinburgh. The prize is administered on behalf of the donors by Kevin Hammond (St Andrews) and Greg Michaelson (Heriot-Watt).

YearAwarded toTitle of Paper
2011 George Giorgidze, Torsten Grust, Tom Schreiber, and Jeroen Weijers
Wilhelm-Schickard-Institut fur Informatik, Eberhard Karls Universitaet Tuebingen, Germany
Haskell Boards the Ferry: Database-Supported Program Execution for Haskell
2010 Vincent St-Amour and Marc Feeley
Universite de Montreal, Canada
PICOBIT: A Compact Scheme System for Microcontrollers
2009 Ralf Hinze
Oxford University, UK
Scans and Convolutions: A Calculational Proof of Moessner's Theorem
2008 Neil Mitchell and Colin Runciman
University of York, UK
A Supercompiler for Core Haskell
2007 Jost Berthold and Rita Loogen
Philipps-University Marburg, Germany
Parallel Coordination made Explicit in a Functional Setting
2006 Clemens Grelck, Karsten Hinckfuß and Sven-Bodo Scholz
University of Luebeck, Germany and University of Hertfordshire, UK
With-Loop Fusion for Data Locality and Parallelism
2005Olivier Danvy,
BRICS, Denmark
A Rational Deconstruction of Landin's SECD Machine
2004Pedro Vasconcelos,
University of St Andrews, Scotland
Inferring Costs for Recursive, Polymorphic and Higher-Order Functional Programs
2003 Arjen van Weelden and Rinus Plasmeijer,
Nijmegen University, The Netherlands
Towards a Strongly Typed Functional Operating System

Information for Authors

Please follow the instructions given on the web page for the current symposium. Generally, there are no strong formatting requirements for the \emph{draft} proceedings, other than a page limit. However, the final proceedings will adhere strictly to the standard Springer-Verlag LNCS format, and will have a strong page limit. To save time, you may wish to use Springer-Verlag LNCS format for the draft proceedings.

Previous IFL Symposia/Workshops

Here is a list of previous IFL Symposia/Workshops (in reverse order), with links to web pages where available:

Other Functional Programming Events

This is an incomplete list. In addition to the events listed below, there are also occasional Latin American conferences on functional programming, workshops on languges including Haskell and SML. Functional programming papers are also published at venues including the European Symposium on Programming (ESOP), the ACM Symposium on Principles of Programming Languages (POPL), the ACM Conference on Programming Languages and Implementation (PLDI). Please contact us if your event is not listed here and you would like it to be added.

Some Common Functional Programming Languages

Last modified on 11 October 2011 by kh at cs dot st-andrews dot ac dot uk .