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

IFL 2011,
Lawrence, Kansas, USA.
Andy Gill, University of Kansas, 3-5 October, 2011.

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).

Year Awarded to Title 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

2005 Olivier Danvy,
BRICS, Denmark A Rational Deconstruction of Landin's SECD Machine

2004 Pedro 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

Year	Awarded to	Title 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
2005	Olivier Danvy, BRICS, Denmark	A Rational Deconstruction of Landin's SECD Machine
2004	Pedro 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:

IFL 2010,
Alphen aan den Rijn, the Netherlands.
Jurriaan Hage, Utrecht University, 1-3 September, 2010.
IFL 2009,
Seton Hall University, South Orange, NJ, USA
Marco Morazan,
September 23-25 2009.
IFL 2008,
The University of Hertfordshire, UK,
Sven-Bodo Scholz,
September 10-12 2008.
IFL 2007,
Freiburg, Germany,
Olaf Chitil,
September 27th-29th 2007.
IFL 2006,
Budapest, Hungary,
Zoltan Horvath and Viktoria Zsok,
September 4th-6th 2006.
IFL 2005,
Dublin, Ireland,
Andrew Butterfield,
September 19th-21st, 2005.
IFL 2004,
Lübeck, Germany,
Clemens Grelck and Frank Huch (eds.)
September 8th-10th, 2004.
IFL 2003
Edinburgh, Scotland,
Greg Michaelson and Phil Trinder (eds.),
September 8th-11th, 2003.
IFL 2002, Madrid, Spain, September 2002.
Ricardo Pena (ed.)
Springer-Verlag LNCS 2312, ISBN 3-540-43537-9, 2003.
IFL 2001,
Stockholm, Sweden, September 2001.
Thomas Arts and Markus Mohnen (eds.),
Springer-Verlag LNCS 2312, ISBN 3-540-43537-9, 2002.
IFL 2000,
Aachen, Germany, September 2000.
Markus Mohnen and Pieter Koopmann (eds.),
September 2000, Springer-Verlag LNCS 2011, ISBN 3-540-41919-5, 2001.
IFL '99,
Lochem, the Netherlands, September 1999.
Pieter Koopman and Chris Clack (eds.).
Springer-Verlag LNCS 1868, ISBN 3-540-67864-6, 2000.
IFL '98,
London, UK, September 1998.
Chris Clack, Kevin Hammond and Tony Davie (eds.).
Springer-Verlag LNCS 1595, ISBN 3-540-66229-4, 1999.
IFL '97,
St Andrews, Scotland, September 1997.
Kevin Hammond, Tony Davie and Chris Clack (eds.)
Springer-Verlag LNCS 1467, ISBN 3-540-64849-6, 1998.
IFL '96,
Bad Godesberg, Germany, September 1996.
Werner Kluge (ed.).
Springer-Verlag LNCS 1268, ISBN 3-540-63237-9, 1997.
IFL '95, Båstad, Sweden.
IFL '94, Norwich, UK. John Glauert.
IFL '93, Nijmegen, The Netherlands.
IFL '92, Aachen, Germany. Herbert Kuchen and Rita Loogen.
IFL '91, Southampton, UK. Hugh Glaser.
IFL '90, Nijmegen, The Netherlands. Rinus Plasmeijer and Marko van Eekelen
IFL '89, Nijmegen, The Netherlands. Rinus Plasmeijer and Marko van Eekelen

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.

International Conference on Functional Programming (ICFP)
The primary conference for researchers in functional programming, a successor to the conferences on Lisp and Functional Programming and on Functional Programming and Computer Architecture, alternating between Europe and the US, and with a number of attached workshops.
Symposium on Trends in Functional Programming (TFP)
A meeting covering exciting new developments in functional programming at an early stage of research.

Some Common Functional Programming Languages

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