Mikkel Kragh Mathiesen

According to our database, Mikkel Kragh Mathiesen authored at least 4 papers between 2022 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Finitary Relational Calculus.

Fritz Henglein, Mikkel Kragh Mathiesen, Mads Rehof

Proceedings of the 19th International Symposium on Database Programming Languages, 2025

2022

The Programming of Algebra.

Fritz Henglein, Robin Kaarsgaard, Mikkel Kragh Mathiesen

Proceedings of the Proceedings Ninth Workshop on Mathematically Structured Functional Programming, 2022

Combinatory Adjoints and Differentiation.

Martin Elsman, Fritz Henglein, Robin Kaarsgaard, Mikkel Kragh Mathiesen, Robert Schenck

Proceedings of the Proceedings Ninth Workshop on Mathematically Structured Functional Programming, 2022

Algeo: An Algebraic Approach to Reversibility.

Fritz Henglein, Robin Kaarsgaard, Mikkel Kragh Mathiesen

Proceedings of the Reversible Computation - 14th International Conference, 2022