If you made any changes in Pure these will be visible here soon.

Fingerprint

Fingerprints are formed from scientific publications and create an index of weighted keyword concepts for each individual researcher.
  • 1 Similar Profiles

Network

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
  • The Quantum Effect: A Recipe for QuantumPi

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

    Research output: Other contributionResearch

    Open Access
  • Algeo: An Algebraic Approach to Reversibility

    Henglein, F., Kaarsgaard, R. & Mathiesen, M. K., 28. Jun 2022, Reversible Computation. Mezzina, C. A. & Podlaski, K. (eds.). Springer, p. 128-145 (Lecture Notes in Computer Science, Vol. 13354).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-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). p. 1-26 (Electronic Proceedings in Theoretical Computer Science, Vol. 360).

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

    Open Access
    File
  • From reversible programming languages to reversible metalanguages

    Glück, R., Kaarsgaard, R. & Yokoyama, T., 12. Jun 2022, In: Theoretical Computer Science. 920, p. 46-63

    Research output: Contribution to journalJournal articleResearchpeer-review

  • Quantum information effects

    Heunen, C. & Kaarsgaard, R., 12. Jan 2022, In: Proceedings of the ACM on Programming Languages. 6, POPL, p. 1-27 2.

    Research output: Contribution to journalJournal articleResearchpeer-review

    Open Access
    File