Mikkel Kragh Mathiesen

According to our database, Mikkel Kragh Mathiesen authored at least 3 papers in 2022.

Collaborative distances:

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

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