Fingerprint
- 1 Similar Researchers
Collaborations and top research areas from the last five years
-
Free quantum computing
Carette, J., Heunen, C., Kaarsgaard, R., Ross, N. J. & Sabry, A., 24. Feb 2026, In: Proceedings of the National Academy of Sciences of the United States of America. 123, 8, 6 p., e2510881123.Research output: Contribution to journal › Journal article › Research › peer-review
Open AccessFile8 Downloads (Pure) -
Hadamard-Pi: Equational Quantum Programming
Fang, W., Heunen, C. & Kaarsgaard, R., 8. Jan 2026, In: Proceedings of the ACM on Programming Languages. 10, POPL, p. 117-143 5.Research output: Contribution to journal › Journal article › Research › peer-review
Open AccessFile1 Downloads (Pure) -
Compositional Reversible Computation
Carette, J., Heunen, C., Kaarsgaard, R. & Sabry, A., 2024, Reversible Computation - 16th International Conference, RC 2024, Proceedings. Mogensen, T. A. & Mikulski, L. (eds.). Springer Science+Business Media, p. 10-27 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 14680 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Open AccessFile11 Downloads (Pure) -
How to Bake a Quantum Π
Carette, J., Heunen, C., Kaarsgaard, R. & Sabry, A., 15. Aug 2024, In: Proceedings of the ACM on Programming Languages. 8, ICFP, 29 p., 236.Research output: Contribution to journal › Journal article › Research › peer-review
Open AccessFile33 Downloads (Pure) -
Jeopardy: An Invertible Functional Programming Language
Kristensen, J. T., Kaarsgaard, R. & Thomsen, M. K., 2024, Reversible Computation - 16th International Conference, RC 2024, Proceedings. Mogensen, T. A. & Mikulski, L. (eds.). Springer Science+Business Media, p. 124-141 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 14680 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Open AccessFile20 Downloads (Pure)
Projects
- 1 Finished
-
Landauer Meets von Neumann: Reversibility in Categorical Quantum Semantics
Sales, R. K. (Project participant)
01/10/2020 → 31/12/2022
Project: Research Councils
Press/Media
-
-
Millionregn over forskning på Syddansk Universitet
24/06/2025
1 Media contribution
Press/Media: Press / Media
-
Millionregn over forskning på Syddansk Universitet
24/06/2025
1 Media contribution
Press/Media: Press / Media
-
Millionregn over forskning på Syddansk Universitet
24/06/2025
1 Media contribution
Press/Media: Press / Media
-
219 mio. kr. til fremragende forskningsideer
Xiao, W., Loft, A., Le Corre, V. & Sales, R. K.
24/06/2025
1 Media contribution
Press/Media: Press / Media