5 citations · 11 across the 3 of their papers we have counts for
3 papers
Jeopardy: An Invertible Functional Programming Language
Joachim Tilsted Kristensen, Robin Kaarsgaard, Michael Kirkedal Thomsen
Algorithms are ways of mapping problems to solutions. An algorithm is invertible precisely when this mapping is injective, such that the initial problem can be uniquely inferred fr…
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…
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…