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
  • 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

  • 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
    5 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

  • With a Few Square Roots, Quantum Computing Is as Easy as Pi

    Carette, J., Heunen, C., Kaarsgaard, R. & Sabry, A., Jan 2024, In: Proceedings of the ACM on Programming Languages. 8, POPL, p. 546-574

    Research output: Contribution to journalJournal articleResearchpeer-review

    Open Access
    File
    28 Downloads (Pure)
  • Tail Recursion Transformation for Invertible Functions

    Kristensen, J. T., Kaarsgaard, R. & Thomsen, M. K., 2023, Reversible Computation: 15th International Conference, RC 2023, Giessen, Germany, July 18–19, 2023, Proceedings. Kutrib, M. & Meyer, U. (eds.). Springer, p. 73-88 (Lecture Notes in Computer Science, Vol. 13960).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review