| Combinatory adjoints and differentiation M Elsman, F Henglein, R Kaarsgaard, MK Mathiesen, R Schenck arXiv preprint arXiv:2207.00847, 2022 | 7 | 2022 |
| The programming of algebra F Henglein, R Kaarsgaard, MK Mathiesen arXiv preprint arXiv:2207.00850, 2022 | 6 | 2022 |
| Algeo: An Algebraic Approach to Reversibility F Henglein, R Kaarsgaard, MK Mathiesen International Conference on Reversible Computation, 128-145, 2022 | 3 | 2022 |
| Infinite-Dimensional Linear Algebra for Efficient Query Processing MK Mathiesen Master’s thesis, Department of Computer Science, Unversity of Copenhagen (DIKU), 2016 | 3 | 2016 |
| Module Theory and Query Processing F Henglein, MK Mathiesen Proc. Mathematically Structured Functional Programming (MSFP), 2020 | 2 | 2020 |
| Proof and Consequences: Separating Construction and Checking of eBPF Loops MK Mathiesen, KF Larsen 30th International Conference on Types for Proofs and Programs TYPES 2024 …, 2024 | | 2024 |
| The Programming of Algebra MK Mathiesen | | 2022 |
| Simple Worst-Case Optimal Joins F Henglein, C Li, MK Mathiesen 35th Nordic Workshop on Programming Theory (NWPT), 0 | | |
