Trends in Functional Programming
Description
This book constitutes revised selected papers from the 26th International Symposium on Trends in Functional Programming, TFP 2025, held in Oxford, UK, during January 13-16, 2025.
The 20 full papers and 2 invited papers presented in this volume were carefully reviewed and selected from 35 submissions. They were categorized under the topical sections as follows: Invited papers; Language Design; Compilation; Semantics; Types; Program Synthesis; Teaching.
More details
Other editions
Additional editions
Content
.
- Invited papers.
.- Things We Never Told Anyone about Functional Programming.
.- Literate Programming and Cultural Practice.
.
- Language Design.
.- Explicit Level Imports.
.- Heapless Functional Programming.
.- Functional Reactive GUI Programming with Modal Types.
.- Compilation.
.- Multi-GPU Code Generation for Out-Of-Core Problems.
.- From Haskell to a New Structured Combinator Processor.
.- Self-Aware Program Analysis in stableKanren.
.- Semantics.
.- Reconstructing Continuation-Passing Semantics for WebAssembly.
.- CoScheme: Compositional Copatterns in Scheme.
.- Noninterference through Bisimulation.
.- Types.
.- A Type Theoretic Treatment of Context-Free Languages without Mutual Recursion.
.- Custom Representations of Inductive Families.
.- Two-Dimensional Numerical Representations.
.- Program Synthesis.
.- Synthesizing Accumulative Functions Via Program Transformation.
.- Alpha Beta Pruning with the Selection Monad.
.- On the Correctness of Barron and Strachey's Cartesian Product Function.
.- Distribution.
.- Formal Specification and Implementation of Distributed Lazy Group Membership Protocol.
.- Energy-Aware Dynamic Adaptation of Runtime Systems.
.- Communication for Task-Oriented Systems with Edge Devices.
.- Teaching.
.- Exploring Female and Male Student Perceptions in a Functional Programming-Based Automata Theory Course.
.- Using GHC Core to Normalise Student Programs.