Robin Kaarsgaard

Available identifiers

zbMath Open kaarsgaard.robinDBLP163/9898WikidataQ62050263 ScholiaQ62050263MaRDI QIDQ511930

List of research outcomes

Publication	Date of Publication	Type
Join inverse rig categories for reversible functional programming, and beyond	2024-12-17	Paper
Bennett and Stinespring, together at last	2024-11-29	Paper
Compositional reversible computation	2024-11-13	Paper
Jeopardy: an invertible functional programming language	2024-11-13	Paper
Tail recursion transformation for invertible functions	2024-01-11	Paper
https://portal.mardi4nfdi.de/entity/Q6068932	2023-12-15	Paper
https://portal.mardi4nfdi.de/entity/Q6068926	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

This page was built for person: Robin Kaarsgaard