| 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
Reversible Computation | 2024-01-11 | Paper |
scientific article; zbMATH DE number 7779293 (Why is no real title available?)
(available as arXiv preprint) | 2023-12-15 | Paper |
| scientific article; zbMATH DE number 7779293 (Why is no real title available?) | 2023-12-15 | Paper |
scientific article; zbMATH DE number 7779290 (Why is no real title available?)
(available as arXiv preprint) | 2023-12-15 | Paper |
| scientific article; zbMATH DE number 7779290 (Why is no real title available?) | 2023-12-15 | Paper |
Graph Traversals as Universal Constructions
(available as arXiv preprint) | 2023-08-08 | Paper |
Reversible Programs Have Reversible Semantics
1509.68034 | 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
Theoretical Computer Science | 2022-05-17 | Paper |
Reversible effects as inverse arrows
(available as arXiv preprint) | 2022-05-03 | Paper |
Condition/decision duality and the internal logic of extensive restriction categories
(available as arXiv preprint) | 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
Reversible Computation | 2019-10-17 | Paper |
Inversion, iteration, and the art of dual wielding
Reversible Computation | 2019-10-17 | Paper |
Condition/Decision Duality and the Internal Logic of Extensive Restriction Categories
(available as arXiv preprint) | 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
(available as arXiv preprint) | 2018-09-06 | Paper |
Join inverse categories and reversible recursion
Journal of Logical and Algebraic Methods in Programming | 2017-02-22 | Paper |
Ricercar: a language for describing and rewriting reversible circuits with ancillae and its permutation semantics
Reversible Computation | 2016-09-30 | Paper |
A classical propositional logic for reasoning about reversible logic circuits
Logic, Language, Information, and Computation | 2016-09-09 | Paper |
Join inverse categories as models of reversible recursion
Lecture Notes in Computer Science | 2016-06-10 | Paper |
