Billede af Robin Kaarsgaard Sales

Vis Scopus-profil

Robin Kaarsgaard Sales

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

Fingeraftryk

Dyk ned i forskningsemnerne, hvor Robin Kaarsgaard Sales er aktiv. Disse emneordskoncepter kommer fra denne persons arbejde. Sammen danner de et unikt fingerprint.
  • 1 Lignende profiler
Se fuldt fingerprint

Samarbejde og topforskningsområder i de sidste fem år

Seneste eksterne samarbejder på lande-/områdeniveau. Dyk ned i detaljerne ved at klikke på prikkerne eller
Udforsk netværk yderligere
  • 20 Konferencebidrag i proceedings
  • 6 Tidsskriftartikel
  • 1 Kapitel i bog
  • 1 Andet bidrag

  • 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. (red.). Springer Science+Business Media, s. 10-27 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 14680 LNCS).

    Publikation: Kapitel i bog/rapport/konference-proceeding › Konferencebidrag i proceedings › Forskning › peer review

  • How to Bake a Quantum Π

    Carette, J., Heunen, C., Kaarsgaard, R. & Sabry, A., 15. aug. 2024, I: Proceedings of the ACM on Programming Languages. 8, ICFP, 29 s., 236.

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

    Åben adgang
    Fil
    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. (red.). Springer Science+Business Media, s. 124-141 18 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 14680 LNCS).

    Publikation: Kapitel i bog/rapport/konference-proceeding › Konferencebidrag i proceedings › Forskning › peer review

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

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

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

    Åben adgang
    Fil
    30 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. (red.). Springer, s. 73-88 (Lecture Notes in Computer Science, Bind 13960).

    Publikation: Kapitel i bog/rapport/konference-proceeding › Konferencebidrag i proceedings › Forskning › peer review

Se alle 28 publikationer