Mikkel Kragh Mathiesen

Publication Activity (10 Years)

Years Active: 2022-2022
Publications (10 Years): 3

Top Topics

Fully Functional

Top Venues

Publications

Martin Elsman, Fritz Henglein, Robin Kaarsgaard, Mikkel Kragh Mathiesen, Robert Schenck
Combinatory Adjoints and Differentiation. MSFP@ETAPS (2022)
Fritz Henglein, Robin Kaarsgaard, Mikkel Kragh Mathiesen
Algeo: An Algebraic Approach to Reversibility. RC (2022)
Fritz Henglein, Robin Kaarsgaard, Mikkel Kragh Mathiesen
The Programming of Algebra. MSFP@ETAPS (2022)