Robin Kaarsgaard Sales

View Scopus Profile

Robin Kaarsgaard Sales

 https://orcid.org/0000-0002-7672-799X

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
View full fingerprint

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
Explore network further
  • 20 Article in proceedings
  • 6 Journal article
  • 1 Book chapter
  • 1 Other contribution

  • 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

  • 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 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 proceeding › Article in proceedings › Research › peer-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 journal › Journal article › Research › peer-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 proceeding › Article in proceedings › Research › peer-review

View all 28 research outputs