Automatic differentiation (AD) has been a topic of interest for researchers in many
disciplines, with increased popularity since its application to machine learning and neural …

We show how the basic Combinatory Homomorphic Automatic Differentiation (CHAD)
algorithm can be optimised, using well-known methods, to yield a simple, composable, and …

Differential-Algebraic Equations (DAEs) are the foundation of high-level equation-based
languages for modeling physical dynamical systems. Simulating models in such languages …

We present Algeo, a functional logic programming language based on the theory of infinite
dimensional modules. Algeo is reversible in the sense that every function has a generalised …

This proceedings contains abstracts and position papers for the work presented at the third
Logic and Practice of Programming (LPOP) Workshop. The workshop was held online, using …

We study how abstract algebra can be used as a foundation for programming, in particular
for the purpose of query processing. The basic algebraic structures of rings, modules and …

We show that worst-case optimal joins, also for cyclic joins, are easy to program using basic
programming techniques. They only require straightforward dictionaries, iterating over the …