Robin Kaarsgaard

Publication Activity (10 Years)

Years Active: 2015-2024
Publications (10 Years): 37

Top Topics

Functional Programming

Denotational Semantics

Quantum Computing

Top Venues

Publications

Jacques Carette, Chris Heunen, Robin Kaarsgaard, Amr Sabry
With a Few Square Roots, Quantum Computing Is as Easy as Pi. Proc. ACM Program. Lang. 8 (POPL) (2024)
Joachim Tilsted Kristensen, Robin Kaarsgaard, Michael Kirkedal Thomsen
Jeopardy: An Invertible Functional Programming Language. RC (2024)
Jacques Carette, Chris Heunen, Robin Kaarsgaard, Amr Sabry
Compositional Reversible Computation. RC (2024)
Jacques Carette, Chris Heunen, Robin Kaarsgaard, Amr Sabry
Compositional Reversible Computation. CoRR (2024)
Joachim Tilsted Kristensen, Robin Kaarsgaard, Michael Kirkedal Thomsen
Tail Recursion Transformation for Invertible Functions. RC (2023)
Joachim Tilsted Kristensen, Robin Kaarsgaard, Michael Kirkedal Thomsen
Tail recursion transformation for invertible functions. CoRR (2023)
Jacques Carette, Chris Heunen, Robin Kaarsgaard, Amr Sabry
The Quantum Effect: A Recipe for QuantumPi. CoRR (2023)
Jacques Carette, Chris Heunen, Robin Kaarsgaard, Amr Sabry
With a Few Square Roots, Quantum Computing is as Easy as Π. CoRR (2023)
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)
Chris Heunen, Robin Kaarsgaard
Quantum information effects. Proc. ACM Program. Lang. 6 (POPL) (2022)
Fritz Henglein, Robin Kaarsgaard, Mikkel Kragh Mathiesen
The Programming of Algebra. MSFP@ETAPS (2022)
Joachim Tilsted Kristensen, Robin Kaarsgaard, Michael Kirkedal Thomsen
Branching execution symmetry in Jeopardy by available implicit arguments analysis. CoRR (2022)
Joachim Tilsted Kristensen, Robin Kaarsgaard, Michael Kirkedal Thomsen
Jeopardy: An Invertible Functional Programming Language. CoRR (2022)
Pablo Andrés-Martínez, Chris Heunen, Robin Kaarsgaard
Universal Properties of Partial Quantum Maps. CoRR (2022)
Robert Glück, Robin Kaarsgaard, Tetsuo Yokoyama
From reversible programming languages to reversible metalanguages. Theor. Comput. Sci. 920 (2022)
Robin Kaarsgaard, Mathys Rennela
Join inverse rig categories for reversible functional programming, and beyond. CoRR (2021)
Siddharth Bhaskar, Robin Kaarsgaard
Graph Traversals as Universal Constructions. CoRR (2021)
Chris Heunen, Robin Kaarsgaard
Quantum Information Effects. CoRR (2021)
Chris Heunen, Robin Kaarsgaard
Bennett and Stinespring, Together at Last. QPL (2021)
Siddharth Bhaskar, Robin Kaarsgaard
Graph Traversals as Universal Constructions. MFCS (2021)
Robert Glück, Robin Kaarsgaard, Tetsuo Yokoyama
Reversible Programs Have Reversible Semantics. FM Workshops (2) (2019)
Robin Kaarsgaard, Niccolò Veltri
En Garde! Unguarded Iteration for Reversible Computation in the Delay Monad. MPC (2019)
Robin Kaarsgaard
Condition/Decision Duality and the Internal Logic of Extensive Restriction Categories. CoRR (2019)
Robin Kaarsgaard
Condition/Decision Duality and the Internal Logic of Extensive Restriction Categories. MFPS (2019)
Robin Kaarsgaard
Inversion, Iteration, and the Art of Dual Wielding. CoRR (2019)
Robin Kaarsgaard
Inversion, Iteration, and the Art of Dual Wielding. RC (2019)
Petur Andrias Højgaard Jacobsen, Robin Kaarsgaard, Michael Kirkedal Thomsen
\mathsf CoreFun : A Typed Functional Reversible Core Language. RC (2018)
Chris Heunen, Robin Kaarsgaard, Martti Karvonen
Reversible effects as inverse arrows. CoRR (2018)
Robert Glück, Robin Kaarsgaard
A categorical foundation for structured reversible flowchart languages: Soundness and adequacy. Log. Methods Comput. Sci. 14 (3) (2018)
Chris Heunen, Robin Kaarsgaard, Martti Karvonen
Reversible Effects as Inverse Arrows. MFPS (2018)
Robert Glück, Robin Kaarsgaard
A Categorical Foundation for Structured Reversible Flowchart Languages. MFPS (2018)
Robin Kaarsgaard, Holger Bock Axelsen, Robert Glück
Join inverse categories and reversible recursion. J. Log. Algebraic Methods Program. 87 (2017)
Robert Glück, Robin Kaarsgaard
A categorical foundation for structured reversible flowchart languages: Soundness and adequacy. CoRR (2017)
Holger Bock Axelsen, Robert Glück, Robin Kaarsgaard
A Classical Propositional Logic for Reasoning About Reversible Logic Circuits. WoLLIC (2016)
Holger Bock Axelsen, Robin Kaarsgaard
Join Inverse Categories as Models of Reversible Recursion. FoSSaCS (2016)
Michael Kirkedal Thomsen, Robin Kaarsgaard, Mathias Soeken
Ricercar: A Language for Describing and Rewriting Reversible Circuits with Ancillae and Its Permutation Semantics. RC (2015)