Follow
Robin Kaarsgaard
Robin Kaarsgaard
Assistant Professor at University of Southern Denmark
Verified email at imada.sdu.dk - Homepage
Title
Cited by
Cited by
Year
Join inverse categories and reversible recursion
R Kaarsgaard, HB Axelsen, R Glück
Journal of Logical and Algebraic Methods in Programming 87, 33-50, 2017
332017
Foundations of reversible computation
B Aman, G Ciobanu, R Glück, R Kaarsgaard, J Kari, M Kutrib, I Lanese, ...
Reversible Computation: Extending Horizons of Computing: Selected Results of …, 2020
302020
CoreFun: A Typed Functional Reversible Core Language
PAH Jacobsen, R Kaarsgaard, MK Thomsen
Reversible Computation: 10th International Conference, RC 2018, Leicester …, 2018
27*2018
A categorical foundation for structured reversible flowchart languages: Soundness and adequacy
R Glück, R Kaarsgaard
Logical Methods in Computer Science 14 (3), 2018
192018
Quantum Information Effects
C Heunen, R Kaarsgaard
Proceedings of the ACM on Programming Languages 6 (POPL), 2:1–27, 2021
182021
A categorical foundation for structured reversible flowchart languages
R Glück, R Kaarsgaard
Electronic Notes in Theoretical Computer Science 336, 155-171, 2018
172018
Reversible effects as inverse arrows
C Heunen, R Kaarsgaard, M Karvonen
Electronic Notes in Theoretical Computer Science 341, 179-199, 2018
162018
Join inverse categories as models of reversible recursion
HB Axelsen, R Kaarsgaard
International Conference on Foundations of Software Science and Computation …, 2016
162016
Reversible programs have reversible semantics
R Glück, R Kaarsgaard, T Yokoyama
Formal Methods. FM 2019 International Workshops: Porto, Portugal, October 7 …, 2020
142020
Bennett and Stinespring, Together at Last
C Heunen, R Kaarsgaard
Proceedings 18th International Conference on Quantum Physics and Logic, 102–118, 2021
122021
Ricercar: a language for describing and rewriting reversible circuits with ancillae and its permutation semantics
MK Thomsen, R Kaarsgaard, M Soeken
Reversible Computation: 7th International Conference, RC 2015, Grenoble …, 2015
122015
En garde! unguarded iteration for reversible computation in the delay monad
R Kaarsgaard, N Veltri
International Conference on Mathematics of Program Construction, 366-384, 2019
92019
Join inverse rig categories for reversible functional programming, and beyond
R Kaarsgaard, M Rennela
37th Conference on Mathematical Foundations of Programming Semantics (MFPS 2021), 2021
82021
With a Few Square Roots, Quantum Computing Is as Easy as Pi
J Carette, C Heunen, R Kaarsgaard, A Sabry
Proceedings of the ACM on Programming Languages 8 (POPL), 546-574, 2024
72024
Universal Properties of Partial Quantum Maps
PA Martinez, C Heunen, R Kaarsgaard
The 19th International Conference on Quantum Physics and Logic 2022, 2022
7*2022
Condition/Decision Duality and the Internal Logic of Extensive Restriction Categories
R Kaarsgaard
Proceedings of the Thirty-Fifth Conference on the Mathematical Foundations …, 2019
72019
Combinatory adjoints and differentiation
M Elsman, F Henglein, R Kaarsgaard, MK Mathiesen, R Schenck
Ninth Workshop on Mathematically Structured Functional Programming (MSFP 2022), 2022
62022
Inversion, iteration, and the art of dual wielding
R Kaarsgaard
International Conference on Reversible Computation, 34-50, 2019
62019
Jeopardy: An invertible functional programming language
JT Kristensen, R Kaarsgaard, MK Thomsen
International Conference on Reversible Computation, 124-141, 2024
52024
The programming of algebra
F Henglein, R Kaarsgaard, MK Mathiesen
Ninth Workshop on Mathematically Structured Functional Programming (MSFP 2022), 2022
52022
The system can't perform the operation now. Try again later.
Articles 1–20