Mikkel Kragh Mathiesen
Postdoc
Programming Languages and Theory of Computing
Universitetsparken 5
2100 København Ø
ORCID: 0000-0002-2145-527X
1 - 3 out of 3Page size: 10
- 2022
- Published
The Programming of Algebra
Henglein, Fritz, Kaarsgaard, R. & Mathiesen, Mikkel Kragh, Jun 2022, In: Electronic Proceedings in Theoretical Computer Science, EPTCS. 360, p. 71-92 22 p.Research output: Contribution to journal › Conference article › Research › peer-review
- Published
Algeo: An Algebraic Approach to Reversibility
Henglein, Fritz, Kaarsgaard, R. & Mathiesen, Mikkel Kragh, 2022, Reversible Computation - 14th International Conference, RC 2022, Proceedings. Mezzina, C. A. & Podlaski, K. (eds.). Springer, p. 128-145 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 13354 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Combinatory Adjoints and Differentiation
Elsman, Martin, Henglein, Fritz, Kaarsgaard, R., Mathiesen, Mikkel Kragh & Schenck, R., 2022, Proceedings Ninth Workshop on Mathematically Structured Functional Programming (MSFP 2022).. EPTCS, Vol. 360. p. 1-26 (Electronic Proceedings in Theoretical Computer Science, EPTCS, Vol. 360).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
ID: 208912865
Most downloads
-
102
downloads
Module Theory and Query Processing: (Extended Abstract)
Research output: Contribution to conference › Conference abstract for conference › Research
Published -
54
downloads
The Programming of Algebra
Research output: Contribution to journal › Conference article › Research › peer-review
Published -
31
downloads
Combinatory Adjoints and Differentiation
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Published