| 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 | 33 | 2017 |
| 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 | 30 | 2020 |
| 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 | 19 | 2018 |
| Quantum Information Effects C Heunen, R Kaarsgaard Proceedings of the ACM on Programming Languages 6 (POPL), 2:1–27, 2021 | 18 | 2021 |
| A categorical foundation for structured reversible flowchart languages R Glück, R Kaarsgaard Electronic Notes in Theoretical Computer Science 336, 155-171, 2018 | 17 | 2018 |
| Reversible effects as inverse arrows C Heunen, R Kaarsgaard, M Karvonen Electronic Notes in Theoretical Computer Science 341, 179-199, 2018 | 16 | 2018 |
| Join inverse categories as models of reversible recursion HB Axelsen, R Kaarsgaard International Conference on Foundations of Software Science and Computation …, 2016 | 16 | 2016 |
| Reversible programs have reversible semantics R Glück, R Kaarsgaard, T Yokoyama Formal Methods. FM 2019 International Workshops: Porto, Portugal, October 7 …, 2020 | 14 | 2020 |
| Bennett and Stinespring, Together at Last C Heunen, R Kaarsgaard Proceedings 18th International Conference on Quantum Physics and Logic, 102–118, 2021 | 12 | 2021 |
| 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 | 12 | 2015 |
| 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 | 9 | 2019 |
| 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 | 8 | 2021 |
| 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 | 7 | 2024 |
| 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 | 7 | 2019 |
| Combinatory adjoints and differentiation M Elsman, F Henglein, R Kaarsgaard, MK Mathiesen, R Schenck Ninth Workshop on Mathematically Structured Functional Programming (MSFP 2022), 2022 | 6 | 2022 |
| Inversion, iteration, and the art of dual wielding R Kaarsgaard International Conference on Reversible Computation, 34-50, 2019 | 6 | 2019 |
| Jeopardy: An invertible functional programming language JT Kristensen, R Kaarsgaard, MK Thomsen International Conference on Reversible Computation, 124-141, 2024 | 5 | 2024 |
| The programming of algebra F Henglein, R Kaarsgaard, MK Mathiesen Ninth Workshop on Mathematically Structured Functional Programming (MSFP 2022), 2022 | 5 | 2022 |
Robert GlückDIKU, Department of Computer Science, University of CopenhagenVerified email at di.ku.dk
