![]() Calendar |
![]() |
Colocated with TFPIE and |
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.
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.
This year the paper "Dataset Sensitive Autotuning of Multi-Versioned Code based on Monotonic Properties" by Philip Munksgaard, Svend Lund Breddam, Troels Henriksen, Fabian Cristian Gieseke, and Cosmin Oancea was awarded by the best paper prize. The paper "A Generic Back-End for Exploratory Programming" of Damian Frolich and L. Thomas van Binsbergen was awarded by the best student paper prize. Congratulation for the winners.
This year the symposium will be virtual, but still "co-located" with TFPIE and Lambda Days. Lambda Days is a vibrant developer conference with hundreds of attendees and a lively programme of talks on functional programming in practice. Participants will be able to session-hop between Lambda Days and TFP, and meet developers excited about functional programming in industry.
Invited Speaker: Prof. Zhenjiang Hu (Peking University)
Title: Constructive Bidirectional Programming
Abstract:
Bidirectional Transformation provides a powerful mechanism for synchronizing
and maintaining the consistency of information between different representations.
Although many languages have been proposed to support programming bidirectional
transformations, we are lacking systematic ways to develop both correct and
efficient bidirectional transformation. In this talk, we show that the program
calculation technique, which is known to be useful for development of
unidirectional functional programs, is useful for systematic development
of correct and efficient bidirectional functional programs from a straightforward
specification through correctness-preserving calculation.
The TFP 2021 program is available here (TFP2021_Programme.pdf).
For the details of the full program please consult the Lambda Days web-site.
Thanks to our TFP sponsor, motivated students can get free registration tickets.
Please apply ASAP by sending: your name, the university, 2-3 sentences about FP interests,
and valid student ID photo to get the registration code.
The number of tickets is limited, and is delivered in the application order.
Note: the submission deadlines are hard deadlines; they will not be extended.
The TFP 2021 proceedings has now been published in Springer LNCS, containing selected, revised versions of 6 papers out of 15 papers presented at the symposium. The proceedings is available here. Access to the papers is free, you must follow the link from this page (there is an "HTTP referer" check).