Filter
Konferencebidrag i proceedings

Søgeresultater

  • 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. (red.). Springer, s. 73-88 (Lecture Notes in Computer Science, Bind 13960).

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

  • 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, Bind 394. s. 192-207 16 s. (Electronic Proceedings in Theoretical Computer Science).

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

    Åben adgang
    Fil
    14 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. (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
    15 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. Bind 360. s. 71-92 (Electronic Proceedings in Theoretical Computer Science, Bind 360).

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

    Åben adgang
    Fil
    17 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). Bind 343. s. 102-118 (Electronic Proceedings in Theoretical Computer Science, Bind 343).

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

    Åben adgang
    Fil
    11 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. (red.). Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, s. 17:1-17:20 17. (Leibniz International Proceedings in Informatics, Bind 202).

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

    Åben adgang
    Fil
    5 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. (red.). Bind 351. s. 152-167 (Electronic Proceedings in Theoretical Computer Science, Bind 351).

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

    Åben adgang
    Fil
    15 Downloads (Pure)
  • 2020

    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. (red.). s. 413-427

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

  • 2019

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

    Kaarsgaard, R., 2019, MFPS 2019. Bind 347. s. 179-202

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer 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. (red.). s. 366-384

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer 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. (red.). s. 34-50

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

  • 2018

    A Categorical Foundation for Structured Reversible Flowchart Languages

    Glück, R. & Kaarsgaard, R., 2018, MFPS 2018. Bind 336. s. 155-171

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer 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. (red.). s. 304-321

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

  • Reversible Effects as Inverse Arrows

    Heunen, C., Kaarsgaard, R. & Karvonen, M., 2018, MFPS 2018. Bind 341. s. 179-199

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer 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. (red.). s. 52-67

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer 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. (red.). s. 73-90

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

    Åben adgang
    Fil
    14 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. (red.). s. 200-215

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