Robin Kaarsgaard

43 papers B 7C 9Journal 21Unranked 5

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Hadamard-Pi: Equational Quantum Programming. Proc. ACM Program. Lang. Wang Fang, Chris Heunen, Robin Kaarsgaard
2025	J	`jnl`	Hadamard-Π: Equational Quantum Programming. CoRR Wang Fang, Chris Heunen, Robin Kaarsgaard
2025	J	`jnl`	One rig to control them all. CoRR Chris Heunen, Robin Kaarsgaard, Louis Lemonnier
2025	C	`ed.`	Reversible Computation - 17th International Conference, RC 2025, Odense, Denmark, July 3-4, 2025, Proceedings RC Robert Glück, Robin Kaarsgaard
2024	C	`conf`	Compositional Reversible Computation. RC Jacques Carette, Chris Heunen, Robin Kaarsgaard, Amr Sabry
2024	J	`jnl`	Compositional Reversible Computation. CoRR Jacques Carette, Chris Heunen, Robin Kaarsgaard, Amr Sabry
2024	J	`jnl`	How to Bake a Quantum Π. Proc. ACM Program. Lang. Jacques Carette, Chris Heunen, Robin Kaarsgaard, Amr Sabry
2024	C	`conf`	Jeopardy: An Invertible Functional Programming Language. RC Joachim Tilsted Kristensen, Robin Kaarsgaard, Michael Kirkedal Thomsen
2024	J	`jnl`	With a Few Square Roots, Quantum Computing Is as Easy as Pi. Proc. ACM Program. Lang. Jacques Carette, Chris Heunen, Robin Kaarsgaard, Amr Sabry
2023	C	`conf`	Tail Recursion Transformation for Invertible Functions. RC Joachim Tilsted Kristensen, Robin Kaarsgaard, Michael Kirkedal Thomsen
2023	J	`jnl`	Tail recursion transformation for invertible functions. CoRR Joachim Tilsted Kristensen, Robin Kaarsgaard, Michael Kirkedal Thomsen
2023	J	`jnl`	The Quantum Effect: A Recipe for QuantumPi. CoRR Jacques Carette, Chris Heunen, Robin Kaarsgaard, Amr Sabry
2023	J	`jnl`	With a Few Square Roots, Quantum Computing is as Easy as Π. CoRR Jacques Carette, Chris Heunen, Robin Kaarsgaard, Amr Sabry
2022	C	`conf`	Algeo: An Algebraic Approach to Reversibility. RC Fritz Henglein, Robin Kaarsgaard, Mikkel Kragh Mathiesen
2022	J	`jnl`	Branching execution symmetry in Jeopardy by available implicit arguments analysis. CoRR Joachim Tilsted Kristensen, Robin Kaarsgaard, Michael Kirkedal Thomsen
2022	—	`conf`	Combinatory Adjoints and Differentiation. MSFP@ETAPS Martin Elsman, Fritz Henglein, Robin Kaarsgaard, Mikkel Kragh Mathiesen, Robert Schenck
2022	J	`jnl`	From reversible programming languages to reversible metalanguages. Theor. Comput. Sci. Robert Glück, Robin Kaarsgaard, Tetsuo Yokoyama
2022	J	`jnl`	Jeopardy: An Invertible Functional Programming Language. CoRR Joachim Tilsted Kristensen, Robin Kaarsgaard, Michael Kirkedal Thomsen
2022	J	`jnl`	Quantum information effects. Proc. ACM Program. Lang. Chris Heunen, Robin Kaarsgaard
2022	—	`conf`	The Programming of Algebra. MSFP@ETAPS Fritz Henglein, Robin Kaarsgaard, Mikkel Kragh Mathiesen
2022	—	`conf`	Universal Properties of Partial Quantum Maps. QPL Pablo Andrés-Martínez, Chris Heunen, Robin Kaarsgaard
2021	—	`conf`	Bennett and Stinespring, Together at Last. QPL Chris Heunen, Robin Kaarsgaard
2021	B	`conf`	Graph Traversals as Universal Constructions. MFCS Siddharth Bhaskar, Robin Kaarsgaard
2021	J	`jnl`	Graph Traversals as Universal Constructions. CoRR Siddharth Bhaskar, Robin Kaarsgaard
2021	B	`conf`	Join inverse rig categories for reversible functional programming, and beyond. MFPS Robin Kaarsgaard, Mathys Rennela
2021	J	`jnl`	Quantum Information Effects. CoRR Chris Heunen, Robin Kaarsgaard
2020	—	`ch.`	Foundations of Reversible Computation. Selected Results of the COST Action IC1405 Bogdan Aman, Gabriel Ciobanu, Robert Glück, Robin Kaarsgaard, Jarkko Kari, Martin Kutrib, Ivan Lanese, Claudio Antares Mezzina, Lukasz Mikulski, Rajagopal Nagarajan, Iain Phillips, G. Michele Pinna, Luca Prigioniero, Irek Ulidowski, Germán Vidal
2019	J	`jnl`	Condition/Decision Duality and the Internal Logic of Extensive Restriction Categories. CoRR Robin Kaarsgaard
2019	B	`conf`	Condition/Decision Duality and the Internal Logic of Extensive Restriction Categories. MFPS Robin Kaarsgaard
2019	B	`conf`	En Garde! Unguarded Iteration for Reversible Computation in the Delay Monad. MPC Robin Kaarsgaard, Niccolò Veltri
2019	C	`conf`	Inversion, Iteration, and the Art of Dual Wielding. RC Robin Kaarsgaard
2019	J	`jnl`	Inversion, Iteration, and the Art of Dual Wielding. CoRR Robin Kaarsgaard
2019	—	`conf`	Reversible Programs Have Reversible Semantics. FM Workshops (2) Robert Glück, Robin Kaarsgaard, Tetsuo Yokoyama
2018	B	`conf`	A Categorical Foundation for Structured Reversible Flowchart Languages. MFPS Robert Glück, Robin Kaarsgaard
2018	J	`jnl`	A categorical foundation for structured reversible flowchart languages: Soundness and adequacy. Log. Methods Comput. Sci. Robert Glück, Robin Kaarsgaard
2018	B	`conf`	Reversible Effects as Inverse Arrows. MFPS Chris Heunen, Robin Kaarsgaard, Martti Karvonen
2018	J	`jnl`	Reversible effects as inverse arrows. CoRR Chris Heunen, Robin Kaarsgaard, Martti Karvonen
2018	C	`conf`	\mathsf CoreFun : A Typed Functional Reversible Core Language. RC Petur Andrias Højgaard Jacobsen, Robin Kaarsgaard, Michael Kirkedal Thomsen
2017	J	`jnl`	A categorical foundation for structured reversible flowchart languages: Soundness and adequacy. CoRR Robert Glück, Robin Kaarsgaard
2017	J	`jnl`	Join inverse categories and reversible recursion. J. Log. Algebraic Methods Program. Robin Kaarsgaard, Holger Bock Axelsen, Robert Glück
2016	C	`conf`	A Classical Propositional Logic for Reasoning About Reversible Logic Circuits. WoLLIC Holger Bock Axelsen, Robert Glück, Robin Kaarsgaard
2016	B	`conf`	Join Inverse Categories as Models of Reversible Recursion. FoSSaCS Holger Bock Axelsen, Robin Kaarsgaard
2015	C	`conf`	Ricercar: A Language for Describing and Rewriting Reversible Circuits with Ancillae and Its Permutation Semantics. RC Michael Kirkedal Thomsen, Robin Kaarsgaard, Mathias Soeken