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