Robin Kaarsgaard

Available identifiers

zbMath Open kaarsgaard.robinWikidataQ62050263 ScholiaQ62050263MaRDI QIDQ511930

List of research outcomes

Publication	Date of Publication	Type
Tail recursion transformation for invertible functions	2024-01-11	Paper
https://portal.mardi4nfdi.de/entity/Q6068926	2023-12-15	Paper
https://portal.mardi4nfdi.de/entity/Q6068932	2023-12-15	Paper
Graph Traversals as Universal Constructions	2023-08-08	Paper
Reversible Programs Have Reversible Semantics	2022-12-07	Paper
Algeo: an algebraic approach to reversibility	2022-11-11	Paper
Universal Properties of Partial Quantum Maps	2022-06-09	Paper
From reversible programming languages to reversible metalanguages	2022-05-17	Paper
Reversible effects as inverse arrows	2022-05-03	Paper
Condition/decision duality and the internal logic of extensive restriction categories	2022-04-29	Paper
A categorical foundation for structured reversible flowchart languages	2022-04-25	Paper
Join Inverse Rig Categories for Reversible Functional Programming, and Beyond	2021-05-20	Paper
Bennett and Stinespring, Together at Last	2021-02-17	Paper
En garde! Unguarded iteration for reversible computation in the delay monad	2020-05-05	Paper
Inversion, Iteration, and the Art of Dual Wielding	2019-10-17	Paper
Condition/Decision Duality and the Internal Logic of Extensive Restriction Categories	2019-05-22	Paper
\(\mathsf{CoreFun}\): a typed functional reversible core language	2018-10-17	Paper
A categorical foundation for structured reversible flowchart languages: Soundness and adequacy	2018-09-06	Paper
Join inverse categories and reversible recursion	2017-02-22	Paper
Ricercar: A Language for Describing and Rewriting Reversible Circuits with Ancillae and Its Permutation Semantics	2016-09-30	Paper
A Classical Propositional Logic for Reasoning About Reversible Logic Circuits	2016-09-09	Paper
Join Inverse Categories as Models of Reversible Recursion	2016-06-10	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Robin Kaarsgaard