TFP 2025 – Schedule
To follow.
Accepted submissions
- Functional Reactive GUI Programming with Modal Types (Jean-Claude Disch, Asger Heegaar, Patrick Bahr)
- Exploring Female and Male Student Perceptions in a Functional-Programming-Based Automata Theory Course (Marco Morazan, Tijana Minic, Andres Garced)
- A Formal Semantics for the Spreadsheet Core (Enzo Alda, Daniel Andres Pinto Alvarado)
- On the Correctness of Barron and Strachey’s Cartesian Product Function (Wouter Swierstra, Jason Hemann)
- Shallowly Embedded Functions (Mart Lubbers, Pieter Koopman, Niek Janssen)
- Reconstructing Big-Step Continuation-Passing Semantics for WebAssembly (Guannan Wei, Alexander Bai, Dinghong Zhong, Jiatai Zhang)
- Noninterference through Bisimulation (Alex Kavvos, Wendy Yang, April Tune)
- CoScheme: Compositional Copatterns in Scheme (Paul Downen, Adriano Corbelino II)
- Synthesizing Accumulative Functions via Program Transformation (JUNYU LIN, Akimasa Morihata)
- Using GHC Core to Normalise Student Programs (Alex Gerdes, Matilda Blomqvist)
- R7RS Large: Bringing Schemers (Back) Together for Scheme’s Fiftieth Birthday (Daphne Preston-Kendal)
- Time as a First-Class Citizen: The ∆Q Systems Design Project (Kevin Hammond, Peter Thompson, Neil Davies, Peter van Roy, James Chapman, Heinrich Apfelmus, Hossein Haeri, Magne Haveraaen, Mikhail Barash, Artjoms Šinkarovs)
- Formal Specification and Functional Programming Implementation of Distributed Lazy Group Membership Protocol (Jianhao Li, Viktoria Zsok)
- Energy-Aware Dynamic Adaptation of Runtime Systems (Jordy Aaldering, Bernard van Gastel, Sven-Bodo Scholz)
- Communication for Task-Oriented Systems with Edge Devices (Niek Janssen, Pieter Koopman, Mart Lubbers)
- Custom Representations of Inductive Families (Constantine Theocharis, Edwin Brady)
- Heapless Functional Programming (Ellis Kesterton, Edwin Brady)
- Multi-GPU Code Generation for Out-Of-Core Problems (Sven-Bodo Scholz, Thomas Koopman, Patrick van Beurden)
- Explicit Level Imports (Matthew Pickering, Rodrigo Mesquita, Adam Gundry)
- Checking the Unchecked: Demonstrating Correct Behaviour of the Cardano Blockchain node using Lightweight Formal Methods (Kevin Hammond, Ulf Norell, Maximilian Algehad, James Chapman, Thomas Arts)
- A Reflection on Task-Oriented Programming (Mart Lubbers, Tim Steenvoorden)
- Alpha-Beta Pruning with the Selection Monad (Johannes Hartmann)
- KappaMutor: A Compact Structured Combinator Processor for Haskell (Yukang Xie, Craig Ramsay, Robert Stewart, Hans-Wolfgang Loidl)
- Two Dimensional Numerical Representations An Adventure with Block Matrices (Michael Youssef)
- Quantifiers for Quantitative Logics in Coq: a New Project Description (Jairo Miguel Marulanda Giraldo, Ekaterina Komendantskaya, lessandro Bruni, Reynald Affeldt, Matteo Capucci)
- Towards a Theory of Type-Safe Renaming and Refactoring (Casper Bach, Luka Miljak, Rosilde Corvino)
- Context-free Languages, Type Theoretically (Jaro Reinders)
- Self-aware Program Analysis in stableKanren (Xiangyu Guo, Ajay Bansal)