Balancing Shared and Distributed Heaps on NUMA Architectures -- Resource-Dependent Algebraic Effects -- Call Arity -- Graph Problems and Vector-Matrix Multiplications in Haskell -- A Functional Approach to Sex: Reproduction in the Créatúr Framework -- Type Generic Observing -- Refactorings to Enable Parallelization -- Tonic: An Infrastructure to Graphically Represent the Definition and Behaviour of Tasks.