Hvis du har foretaget ændringer i Pure, vil de snart blive vist her.

Fingeraftryk

Fingeraftryk dannes ud fra videnskabelige udgivelser og skaber et indeks med vægtede emneord for hver enkelt forsker.
  • 1 Lignende profiler

Netværk

Seneste eksterne samarbejde på lande-/områdeniveau. Dyk ned i detaljerne ved at klikke på prikkerne eller
  • The Quantum Effect: A Recipe for QuantumPi

    Carette, J., Heunen, C., Kaarsgaard, R. & Sabry, A., 3. feb. 2023, 37 s. arXiv.org.

    Publikation: AndetAndet bidragForskning

    Åben adgang
  • Algeo: An Algebraic Approach to Reversibility

    Henglein, F., Kaarsgaard, R. & Mathiesen, M. K., 28. jun. 2022, Reversible Computation. Mezzina, C. A. & Podlaski, K. (red.). Springer, s. 128-145 (Lecture Notes in Computer Science, Bind 13354).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • Combinatory Adjoints and Differentiation

    Elsman, M., Henglein, F., Kaarsgaard, R., Mathiesen, M. K. & Schenck, R., 30. jun. 2022, Proceedings of the Ninth Workshop on Mathematically Structured Functional Programming (MSFP). s. 1-26 (Electronic Proceedings in Theoretical Computer Science, Bind 360).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
  • From reversible programming languages to reversible metalanguages

    Glück, R., Kaarsgaard, R. & Yokoyama, T., 12. jun. 2022, I: Theoretical Computer Science. 920, s. 46-63

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

  • Quantum information effects

    Heunen, C. & Kaarsgaard, R., 12. jan. 2022, I: Proceedings of the ACM on Programming Languages. 6, POPL, s. 1-27 2.

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

    Åben adgang
    Fil