3 citations · 6 across the 2 of their papers we have counts for
2 papers
cs.PL2022★ 3 cited
The Programming of Algebra
Fritz Henglein, Robin Kaarsgaard, Mikkel Kragh Mathiesen
We present module theory and linear maps as a powerful generalised and computationally efficient framework for the relational data model, which underpins today's relational databas…
cs.PL2022★ 3 cited
Combinatory Adjoints and Differentiation
Martin Elsman, Fritz Henglein, Robin Kaarsgaard +2
We develop a compositional approach for automatic and symbolic differentiation based on categorical constructions in functional analysis where derivatives are linear functions on a…