Robin Kaarsgaard

According to our database, Robin Kaarsgaard authored at least 28 papers between 2015 and 2024.

Collaborative distances:

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

2024

With a Few Square Roots, Quantum Computing Is as Easy as Pi.

Jacques Carette, Chris Heunen, Robin Kaarsgaard, Amr Sabry

Proc. ACM Program. Lang., January, 2024

2023

With a Few Square Roots, Quantum Computing is as Easy as Π.

Jacques Carette, Chris Heunen, Robin Kaarsgaard, Amr Sabry

CoRR, 2023

The Quantum Effect: A Recipe for QuantumPi.

Jacques Carette, Chris Heunen, Robin Kaarsgaard, Amr Sabry

CoRR, 2023

Tail Recursion Transformation for Invertible Functions.

Joachim Tilsted Kristensen, Robin Kaarsgaard, Michael Kirkedal Thomsen

Proceedings of the Reversible Computation - 15th International Conference, 2023

2022

From reversible programming languages to reversible metalanguages.

Robert Glück, Robin Kaarsgaard, Tetsuo Yokoyama

Theor. Comput. Sci., 2022

Quantum information effects.

Chris Heunen, Robin Kaarsgaard

Proc. ACM Program. Lang., 2022

Branching execution symmetry in Jeopardy by available implicit arguments analysis.

Joachim Tilsted Kristensen, Robin Kaarsgaard, Michael Kirkedal Thomsen

CoRR, 2022

Jeopardy: An Invertible Functional Programming Language.

Joachim Tilsted Kristensen, Robin Kaarsgaard, Michael Kirkedal Thomsen

CoRR, 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

Universal Properties of Partial Quantum Maps.

Pablo Andrés-Martínez, Chris Heunen, Robin Kaarsgaard

Proceedings of the Proceedings 19th International Conference on Quantum Physics and Logic, 2022

Algeo: An Algebraic Approach to Reversibility.

Fritz Henglein, Robin Kaarsgaard, Mikkel Kragh Mathiesen

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

2021

Join inverse rig categories for reversible functional programming, and beyond.

Robin Kaarsgaard, Mathys Rennela

Proceedings of the Proceedings 37th Conference on Mathematical Foundations of Programming Semantics, 2021

Bennett and Stinespring, Together at Last.

Chris Heunen, Robin Kaarsgaard

Proceedings of the Proceedings 18th International Conference on Quantum Physics and Logic, 2021

Graph Traversals as Universal Constructions.

Siddharth Bhaskar, Robin Kaarsgaard

Proceedings of the 46th International Symposium on Mathematical Foundations of Computer Science, 2021

2020

Foundations of Reversible Computation.

Bogdan Aman, Gabriel Ciobanu, Robert Glück, Robin Kaarsgaard, Jarkko Kari, Martin Kutrib, Ivan Lanese, Claudio Antares Mezzina, Lukasz Mikulski, Rajagopal Nagarajan, Iain C. C. Phillips, G. Michele Pinna, Luca Prigioniero, Irek Ulidowski, Germán Vidal

Proceedings of the Reversible Computation: Extending Horizons of Computing, 2020

2019

Condition/Decision Duality and the Internal Logic of Extensive Restriction Categories.

Robin Kaarsgaard

Proceedings of the Thirty-Fifth Conference on the Mathematical Foundations of Programming Semantics, 2019

Inversion, Iteration, and the Art of Dual Wielding.

Robin Kaarsgaard

Proceedings of the Reversible Computation - 11th International Conference, 2019

En Garde! Unguarded Iteration for Reversible Computation in the Delay Monad.

Robin Kaarsgaard, Niccolò Veltri

Proceedings of the Mathematics of Program Construction - 13th International Conference, 2019

Reversible Programs Have Reversible Semantics.

Robert Glück, Robin Kaarsgaard, Tetsuo Yokoyama

Proceedings of the Formal Methods. FM 2019 International Workshops, 2019

2018

A categorical foundation for structured reversible flowchart languages: Soundness and adequacy.

Robert Glück, Robin Kaarsgaard

Log. Methods Comput. Sci., 2018

Reversible Effects as Inverse Arrows.

Chris Heunen, Robin Kaarsgaard, Martti Karvonen

Proceedings of the Thirty-Fourth Conference on the Mathematical Foundations of Programming Semantics, 2018

A Categorical Foundation for Structured Reversible Flowchart Languages.

Robert Glück, Robin Kaarsgaard

Proceedings of the Thirty-Fourth Conference on the Mathematical Foundations of Programming Semantics, 2018

\mathsf CoreFun : A Typed Functional Reversible Core Language.

Petur Andrias Højgaard Jacobsen, Robin Kaarsgaard, Michael Kirkedal Thomsen

Proceedings of the Reversible Computation - 10th International Conference, 2018

2017

Join inverse categories and reversible recursion.

Robin Kaarsgaard, Holger Bock Axelsen, Robert Glück

J. Log. Algebraic Methods Program., 2017

2016

A Classical Propositional Logic for Reasoning About Reversible Logic Circuits.

Holger Bock Axelsen, Robert Glück, Robin Kaarsgaard

Proceedings of the Logic, Language, Information, and Computation, 2016

Join Inverse Categories as Models of Reversible Recursion.

Holger Bock Axelsen, Robin Kaarsgaard

Proceedings of the Foundations of Software Science and Computation Structures, 2016

2015

Ricercar: A Language for Describing and Rewriting Reversible Circuits with Ancillae and Its Permutation Semantics.

Michael Kirkedal Thomsen, Robin Kaarsgaard, Mathias Soeken

Proceedings of the Reversible Computation - 7th International Conference, 2015