Skip to the content.
Update: Due to the ongoing COVID-19 situation, this will be held as an online event and the date has changed to be 17 - 18 March.

The symposium on Trends in Functional Programming (TFP) is an international forum for researchers with interests in all aspects of functional programming, taking a broad view of current and future trends in the area. It aspires to be a lively environment for presenting the latest research results, and other contributions. See the call for papers for more details.

This year, TFP is moving to a winter date, to provide an opportunity for researchers in the FP community to meet and interact in between the annual ICFP events.

TFP offers a friendly and constructive reviewing process designed to help less experienced authors succeed, with an opportunity for two rounds of review, both before and after the symposium itself. Authors thus have an opportunity to address reviewers’ concerns before the final decision on publication in the Proceedings is taken, in the light of previous reviews and discussions at the symposium.

TFP offers two “best paper” awards, the John McCarthy award for best paper, and the David Turner award for best student paper.

Registration

This will be an online event. Registration is free – but you will need to register in advance using this form:

The zoom links used for the talks will be sent to the registered participants shortly before the start of the conference. We kindly ask you to register no later than March 15th.

Keynote

Our keynote speaker will be Christiaan Baaij:

Building a Haskell-to-Hardware compiler: Theory & Practice
Christiaan Baaij

Clash is a functional hardware description language, but it’s also just a combination of a regular Haskell library with type and function definitions for circuit design and a compiler that translates Haskell programs to digital circuits. In this talk, Christiaan will explain how you can interpret a Haskell program as a digital circuit, the theory behind the inner workings of the Clash compiler, and all the practical problems that were overcome building the compiler. At the end of the talk, Christiaan will also highlight some large outstanding issues and ideas on how to solve them.

Krakow

Important Dates

Submission deadline for pre-symposium review Wednesday 1st December, 2021
Submission deadline for draft papers Wednesday 12th January, 2022
Monday 7th March, 2022
Notification for pre-symposium submissions Friday 21st January, 2022
Notification for draft submissions Friday 21st January, 2022
Friday 11th March, 2022
Symposium dates Thursday 10th - Friday 11th February, 2022
Thursday 17th - Friday 18th March, 2022
Submission deadline for post-symposium reviewing Wednesday 16th March, 2022
Wednesday 6th April, 2022
Notification for post-symposium submissions Friday 13rd May, 2022
Friday 27th May, 2022

Program Commitee

Guillaume Allais University of St Andrews
José Manuel Calderón Trilla Galois, Inc.
Stephen Chang University of Massachusetts Boston
Matthew Flatt University of Utah
Jeremy Gibbons University of Oxford
Zhenjiang Hu Peking University
Mauro Jaskelioff CIFASIS / Universidad Nacional de Rosario
Moa Johansson Chalmers University of Technology
Shin-ya Katsumata National Institute of Informatics
Oleg Kiselyov Tohoku University
Bas Lijnse Netherlands Defence Academy / Radboud University Nijmegen
Kazutaka Matsuda Tohoku University
Nico Naus Virginia Tech
Christine Rizkallah University of New South Wales
Alejandro Serrano 47 Degrees
Amir Shaikhha Ecole Polytechnique Fédérale de Lausanne
Aaron Stump University of Iowa
Wouter Swierstra (Co-chair) Utrecht University
Baltasar Trancón Y Widemann Semantics GmbH
Nicolas Wu (Co-chair) Imperial College London
Ningning Xie University of Hong Kong

Call for Papers

The call for papers is here.