Colocation of Potential Parallelism in a Distributed Adaptive Run-time System for Parallel Haskell.- Reversible Session-Based Concurrency in Haskell.- Intrinsic Currying for C++ Template Metaprograms.- Towards Optic-Based Algebraic Theories: The Case of Lenses.- Saint: an API-generic Type-safe Interpreter.- Improving Haskell.- High-Performance Defunctionalisation in Futhark.