Robin Kaarsgaard Sales

View Scopus Profile

Robin Kaarsgaard Sales

 https://orcid.org/0000-0002-7672-799X
  • 20 Article in proceedings
  • 6 Journal article
  • 1 Book chapter
  • 1 Other contribution

Search results

  • 2024

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

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  • How to Bake a Quantum Π

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

    Research output: Contribution to journal › Journal article › Research › peer-review

    Open Access
    File
    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. (eds.). Springer Science+Business Media, p. 124-141 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 14680 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  • 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 journal › Journal article › Research › peer-review

    Open Access
    File
    28 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 proceeding › Article in proceedings › Research › peer-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 contribution › Research

  • 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 proceeding › Article in proceedings › Research › peer-review

    Open Access
    File
    23 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 proceeding › Article in proceedings › Research › peer-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 proceeding › Article in proceedings › Research › peer-review

    Open Access
    File
    23 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 journal › Journal article › Research › peer-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 journal › Journal article › Research › peer-review

    Open Access
    File
    20 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 proceeding › Article in proceedings › Research › peer-review

    Open Access
    File
    328 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 proceeding › Article in proceedings › Research › peer-review

    Open Access
    File
    17 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 proceeding › Article in proceedings › Research › peer-review

    Open Access
    File
    18 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 proceeding › Article in proceedings › Research › peer-review

    Open Access
    File
    13 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 proceeding › Book chapter › Research › peer-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.). Springer, p. 413-427 (Lecture Notes in Computer Science, Vol. 12233). (Programming and Software Engineering).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-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 proceeding › Article in proceedings › Research › peer-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 proceeding › Article in proceedings › Research › peer-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 proceeding › Article in proceedings › Research › peer-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 proceeding › Article in proceedings › Research › peer-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 journal › Journal article › Research › peer-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 proceeding › Article in proceedings › Research › peer-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 proceeding › Article in proceedings › Research › peer-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 journal › Journal article › Research › peer-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 proceeding › Article in proceedings › Research › peer-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 proceeding › Article in proceedings › Research › peer-review

    Open Access
    File
    39 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 proceeding › Article in proceedings › Research › peer-review