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

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

  • 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

  • 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
    4 Downloads (Pure)
  • 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