Skip to main navigation Skip to search Skip to main content

Fingerprint

Dive into the research topics where Robin Kaarsgaard Sales is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 1 Similar Researchers

Collaborations and top research areas from the last five years

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
  • 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 journalJournal articleResearchpeer-review

    Open Access
    File
    8 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 journalJournal articleResearchpeer-review

    Open Access
    File
    1 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 proceedingArticle in proceedingsResearchpeer-review

    Open Access
    File
    11 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 journalJournal articleResearchpeer-review

    Open Access
    File
    33 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 proceedingArticle in proceedingsResearchpeer-review

    Open Access
    File
    20 Downloads (Pure)