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