Clifton Suspension Bridge!

Clifton Suspension Bridge, Bristol, United Kingdom


Welcome to the website for IFL 2017, the 29th 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 2017 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.


  • 2017-08-28 - Draft proceedings now available here.
  • 2017-08-23 - Symposium schedule has been uploaded.
  • 2017-08-03 - Deadlines for submissions have been extended!
  • 2017-07-19 - Edwin Brady has been confirmed as the keynote speaker.
  • 2017-06-07 - The call for papers (html, txt) has been circulated.
  • 2017-06-07 - Details of the program committee have been added.
  • The important dates and registration details have been confirmed.
  • The skeleton of the website has been updated, we will continue to update the site as more details are confirmed. Note that IFL immediately precedes ICFP which is located in Oxford this year. We are investigating arranging convenient transport from Bristol to Oxford for those interested in attending both events.
IFL 2017 will include a number of research presentations as well as a series of tutorial sessions. This list will be updated as presentations are accepted.

Keynote Speaker

Edwin Brady, University of St Andrews

Edwin Brady is a Lecturer in Computer Science at the University of St Andrews in Scotland, UK. His research interests there include programming language design, in particular type systems and domain specific languages. Since 2008, he has been designing and implementing the Idris programming language, a general purpose functional programming language with dependent types, which he uses to implement verified domain specific languages. When he's not doing that, he's likely to be playing a game of Go, wrestling with the crossword, or stuck on a train somewhere in Britain.

Tutorial Sessions

Systematic Generation of Optimal Code

Oleg Kiselyov

Pattern Candidate Discovery and Parallelization Techniques

Melinda Tóth, István Bozó, and Tamás Kozsik

Type Error Customization in GHC

Alejandro Serrano and Jurriaan Hage

Transforming Programs into Application Specific Processors

Arjan Boeijink, Hendrik Folmer and Jan Kuper

Extrapolate: generalizing counter-examples of functional test properties

Rudy Braquehais and Colin Runciman

Probabilistic resource analysis with dependent types

Christopher Schwaab, Edwin Brady and Kevin Hammond

Purely Functional Federated Learning in Erlang

Gregor Ulm, Emil Gustavsson and Mats Jirstrand

Modeling CPS Systems using Functional Programming

Viktoria Zsok

Handlers for Non-Monadic Computations

Ruben P. Pieters, Tom Schrijvers and Exequiel Rivas

Task Oriented Programming and the Internet of Things

Mart Lubbers, Rinus Plasmeijer and Pieter Koopman

Type Directed Workflow Modelling

Tim Steenvoorden and Rinus Plasmeijer

Speculative Strictness of Array Comprehensions

Artjoms Šinkarovs, Sven-Bodo Scholz, Robert Stewart and Hans-Nikolai Viessmann

Deriving lenses using generics

Csongor Kiss, Matthew Pickering and Toby Shaw

Wolfram for data processing and visualization

Stijn Schildermans and Kris Aerts

Biorthogonality for a Lazy language

Daniel Fridlender, Alejandro Gadea, Miguel Pagano and Leonardo Rodríguez

Measuring Energy Usage for Parallel Haskell Programs

Yasir Alguwaifli and Kevin Hammond

A Distributed Dynamic Architecture for Task Oriented Programming

Arjan Oortgiese, John van Groningen, Peter Achten and Rinus Plasmeijer

The sufficiently smart compiler is a theorem prover

Joachim Breitner

Warble: An eDSL for small, cyber physical systems

Matthew Ahrens and Kathleen Fisher

The Sky is the Limit: Analysing Resource Consumption Over Time Using Skylines

Markus Klinik, Jan Martin Jansen and Rinus Plasmeijer

Towards Compiling SAC for the Xeon Phi Knights Corner and Knights Landing Architectures

Clemens Grelck and Nikolaos Sarris

Constraint Handling Rules with Scopes

Alejandro Serrano and Jurriaan Hage

Scrap Your Reprinter: A Datatype Generic Algorithm for Layout-Preserving Refactoring

Harry Clarke and Dominic Orchard

Converting Haskell to Coq

Antal Spector-Zabusky

Mapping Functional Languages to GPUs: Memory and Communication Choices

Hans-Nikolai Vießmann and Sven-Bodo Scholz


The 29th IFL is organized by the Theory and Algorithms Groups of the University of Bristol. The event will be held in Engineer's House which is situated in north Bristol within walking distance of Clifton Suspension Bridge.

Engineer's House

Engineer's House

Getting To The Venue

A full guide for getting to the venue can be found on the Engineer's House Travel Guide. In particular, there is a shuttle bus service that is provided from the West End Car Park, which may suit those who are staying close to the centre of town.

The venue is within the city and connected by public transport. The number 8 bus directly connects the train station and the venue whilst the 9 stops a short way away.

Note that if you intend to travel a lot by bus then it is cheaper and easier to buy your tickets on a mobile device using the mtickets app.

For more precise instructions, please consult the travelwest website or Google Maps.

Getting To Bristol


The easiest way to get to Bristol from Europe is via Bristol Airport.

Bristol is directly connected to Bristol Airport by bus (A1) . The journey takes around 20 minutes to Bristol Bus Station and costs £11 for a 28 day return or £7 with the display of a valid student card.

For those travelling from outside Europe, you may arrive at Heathrow Airport. From Heathrow Airport, there are two main options, coach or train.

Coach National Express coaches leave Heathrow Airport approximately every hour to Bristol Coach Station (see the schedule on their website). The journey takes around 2 hours to Bristol Coach Station. There is a taxi rank at Bristol Coach Station.

Train From Heathrow Airport, taking the train to Bristol will require you to go via London Paddington. Getting to London Paddington can be done via the Heathrow Express.


There is a direct train from London Paddington to Bristol Temple Meads, which is the central station in Bristol. The journey takes around 1 hour 45 minutes, see the schedule on the Great Western Railway site. There is a taxi rank at Bristol Temple Meads.

Local Taxis

Once at Bristol, it is easiest to get around using the local taxi services. The local hackney taxis are the only ones allowed to be painted Bristol Blue and have regulated prices. There are also many Uber taxis available.

Local Buses

There are local buses, but the routes can be complex. Google Maps tends to be accurate about timings and bus stop locations and connections.


Participants should organise their own accommodation arangements. For a budget option it is possible to book rooms in one of the nearby university halls.

Scope of the Symposium

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

Symposium Program

The symposium runs from Wednesday morning until Friday afternoon. Each day features a keynote tutorial, two regular tutorials, and eight regular talks. Regular talks should last no more than 25 minutes including questions. Thursday evening is reserved for the social excursion and the symposium banquet.

The Symposium Schedule can be found here:

Symposium Schedule

Important Dates

Submission deadline for draft papers: Mon 31 July, 2017 Thu 17 August, 2017
Notification of acceptance for presentation: Wed 2 August, 2017 Usually within 24 hours of submission, but no later than Fri 18 August, 2017
Early registration deadline: Fri 4 August, 2017 Mon 21 August, 2017
Late registration deadline: Fri 11 August, 2017 Fri 25 August, 2017
Submission deadline for pre-symposium proceedings: Mon 21 August, 2017
29th IFL Symposium: Wed 30 August 2017 - Fri 1 September 2017
Submission deadline for post-symposium proceedings: Mon 4 December 2017
Notification of acceptance for post-symposium proceedings: Wed 31 January, 2018
Camera-ready version for post-symposium proceedings: Mon 12 March, 2018

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 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'17]{International Symposium on Implementation and Application of Functional Languages}{August 2017}{Bristol, United Kingdom}

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.

Submit through EasyChair

Registration Details

We offer different fees depending on early/late registration and student status:

Student Regular
Early Bird £200 £260
Late Bird £240 £300

Registration includes participation in the symposium, lunches, coffee breaks, the excursion and the symposium banquet on Thursday.


Program Committee

Nicolas Wu (Chair)University of Bristol, UK
Kenichi AsaiOchanomizu University, Japan
Sandrine BlazyUniversity of Rennes 1, France
Carlos CamaraoUniversidade Federal de Minas Gerais, Brazil
Stephen DolanUniversity of Cambridge, UK
Jurriaan HageUtrecht University, Netherlands
Yukiyoshi KameyamaUniversity of Tsukuba, Japan
Benjamin LernerBrown University, USA
Bas LijnseRadboud University, Netherlands
Garrett MorrisUniversity of Kansas, USA
Miguel PaganoUniversidad Nacional de Córdoba, Argentina
Tomas PetricekAlan Turing Institute, UK
Maciej PirógUniversity of Wrocław, Poland
Exequiel RivasUniversidad Nacional de Rosario, Argentina
Neil SculthorpeNottingham Trent University, UK
Melinda TóthEötvös Loránd University, Hungary
Phil TrinderGlasgow University, UK
Kanae TsushimaNational Institute of Informatics, Japan
Marcos VieraUniversidad de la Republica, Uruguay
Meng WangUniversity of Kent, UK

Excursion and Banquet

The excursion will be at Bristol Zoo which is in close proximity to the conference venue. This is conveniently the same location as the banquet which will be held in Clifton Pavillion, inside the grounds of the Zoo. Additional banquet tickets are availible for partners for £35 and can be booked on the same site as registration.

Engineer's House

A Gorilla at Bristol Zoo - Charles Marshall

Steering Committee

The list of Steering Committee members

Organizing Committee

Nicolas Wu
Helen Cooke
Matthew Pickering
Please direct any questions you may have towards

Previous IFL Editions

In cooperation