Combinatory adjoints and differentiation M Elsman, F Henglein, R Kaarsgaard, MK Mathiesen, R Schenck arXiv preprint arXiv:2207.00847, 2022 | 5 | 2022 |
The programming of algebra F Henglein, R Kaarsgaard, MK Mathiesen arXiv preprint arXiv:2207.00850, 2022 | 4 | 2022 |
Infinite-Dimensional Linear Algebra for Efficient Query Processing MK Mathiesen Master’s thesis, Department of Computer Science, Unversity of Copenhagen (DIKU), 2016 | 2 | 2016 |
Algeo: An Algebraic Approach to Reversibility F Henglein, R Kaarsgaard, MK Mathiesen International Conference on Reversible Computation, 128-145, 2022 | 1 | 2022 |
Module Theory and Query Processing F Henglein, MK Mathiesen Proc. Mathematically Structured Functional Programming (MSFP), 2020 | 1 | 2020 |
The Programming of Algebra MK Mathiesen | | 2022 |