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

Search results

  • 2024

    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 journalJournal articleResearchpeer-review

    Open Access
    File
    4 Downloads (Pure)
  • 2023

    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

  • Universal Properties of Partial Quantum Maps

    Andrés-Martínez, P., Heunen, C. & Kaarsgaard, R., 16. Nov 2023, Proceedings 19th International Conference on Quantum Physics and Logic . Open Publishing Association, Vol. 394. p. 192-207 16 p. (Electronic Proceedings in Theoretical Computer Science).

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

    Open Access
    File
    9 Downloads (Pure)
  • 2022

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

  • 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
    10 Downloads (Pure)
  • The Programming of Algebra

    Henglein, F., Kaarsgaard, R. & Mathiesen, M. K., 30. Jun 2022, Proceedings of the Ninth Workshop on Mathematically Structured Functional Programming. Vol. 360. p. 71-92 (Electronic Proceedings in Theoretical Computer Science, Vol. 360).

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

    Open Access
    File
    11 Downloads (Pure)
  • 2021

    Bennett and Stinespring, Together at Last

    Heunen, C. & Kaarsgaard, R., 2021, Proceeding of the 18th International Conference on Quantum Physics and Logic (QPL 2021). Vol. 343. p. 102-118 (Electronic Proceedings in Theoretical Computer Science, Vol. 343).

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

    Open Access
    File
    5 Downloads (Pure)
  • Graph Traversals as Universal Constructions

    Bhaskar, S. & Kaarsgaard, R., 2021, Proceedings of the 46th International Symposium on Mathematical Foundations of Computer Science (MFCS 2021). Bonchi, F. & Puglisi, S. J. (eds.). Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, p. 17:1-17:20 17. (Leibniz International Proceedings in Informatics, Vol. 202).

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

    Open Access
    File
    4 Downloads (Pure)
  • Join inverse rig categories for reversible functional programming, and beyond

    Kaarsgaard, R. & Rennela, M., 2021, Proceedings 37th Conference on Mathematical Foundations of Programming Semantics. Sokolova, A. (ed.). Vol. 351. p. 152-167 (Electronic Proceedings in Theoretical Computer Science, Vol. 351).

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

    Open Access
    File
    9 Downloads (Pure)
  • 2020

    Foundations of Reversible Computation

    Aman, B., Ciobanu, G., Glück, R., Kaarsgaard, R., Kari, J., Kutrib, M., Lanese, I., Mezzina, C. A., Mikulski, L., Nagarajan, R., Phillips, I. C. C., Pinna, G. M., Prigioniero, L., Ulidowski, I. & Vidal, G., 12. May 2020, Reversible Computation: Extending Horizons of Computing: Selected Results of the COST Action IC1405. Ulidowski, I., Lanese, I., Schultz, U. P. & Ferreira, C. (eds.). Springer, p. 1-40 (Lecture Notes in Computer Science, Vol. 12070).

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

    Open Access
  • Reversible Programs Have Reversible Semantics

    Glück, R., Kaarsgaard, R. & Yokoyama, T., 2020, Formal Methods. FM 2019 International Workshops - Revised Selected Papers. Sekerinski, E., Moreira, N., Oliveira, J. N., Ratiu, D., Guidotti, R., Farrell, M., Luckcuck, M., Marmsoler, D., Campos, J., Astarte, T., Gonnord, L., Cerone, A., Couto, L., Dongol, B., Kutrib, M., Monteiro, P. & Delmas, D. (eds.). p. 413-427

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

  • 2019

    Condition/Decision Duality and the Internal Logic of Extensive Restriction Categories

    Kaarsgaard, R., 2019, MFPS 2019. Vol. 347. p. 179-202

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

  • En Garde! Unguarded Iteration for Reversible Computation in the Delay Monad

    Kaarsgaard, R. & Veltri, N., 2019, Mathematics of Program Construction- 13th International Conference, MPC 2019, Proceedings. Hutton, G. (ed.). p. 366-384

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

  • Inversion, Iteration, and the Art of Dual Wielding

    Kaarsgaard, R., 2019, Reversible Computation - 11th International Conference, RC 2019, Proceedings. Thomsen, M. K. & Soeken, M. (eds.). p. 34-50

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

  • 2018

    A Categorical Foundation for Structured Reversible Flowchart Languages

    Glück, R. & Kaarsgaard, R., 2018, MFPS 2018. Vol. 336. p. 155-171

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

  • A categorical foundation for structured reversible flowchart languages: Soundness and adequacy

    Glück, R. & Kaarsgaard, R., 2018, In: Logical Methods in Computer Science. 14, 3, 16.

    Research output: Contribution to journalJournal articleResearchpeer-review

  • CoreFun: A Typed Functional Reversible Core Language

    Jacobsen, P. A. H., Kaarsgaard, R. & Thomsen, M. K., 2018, Reversible Computation - 10th International Conference, RC 2018, 2018, Proceedings. Ulidowski, I. & Kari, J. (eds.). p. 304-321

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

  • Reversible Effects as Inverse Arrows

    Heunen, C., Kaarsgaard, R. & Karvonen, M., 2018, MFPS 2018. Vol. 341. p. 179-199

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

  • 2017

    Join inverse categories and reversible recursion

    Kaarsgaard, R., Axelsen, H. B. & Glück, R., 2017, In: Journal of Logical and Algebraic Methods in Programming. 87, p. 33-50

    Research output: Contribution to journalJournal articleResearchpeer-review

  • 2016

    A Classical Propositional Logic for Reasoning About Reversible Logic Circuits

    Axelsen, H. B., Glück, R. & Kaarsgaard, R., 2016, Logic, Language, Information, and Computation - 23rd International Workshop, WoLLIC 2016, Proceedings. Väänänen, J., Hirvonen, Å. & de Queiroz, R. (eds.). p. 52-67

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

  • Join Inverse Categories as Models of Reversible Recursion

    Axelsen, H. B. & Kaarsgaard, R., 2016, Foundations of Software Science and Computation Structures - 19th International Conference, FOSSACS 2016 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Proceedings. Löding, C. & Jacobs, B. (eds.). p. 73-90

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

    Open Access
    File
    9 Downloads (Pure)
  • 2015

    Ricercar: A Language for Describing and Rewriting Reversible Circuits with Ancillae and Its Permutation Semantics

    Thomsen, M. K., Kaarsgaard, R. & Soeken, M., 2015, Reversible Computation - 7th International Conference, RC 2015, Proceedings. Krivine, J. & Stefani, J-B. (eds.). p. 200-215

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