research
∙
02/20/2023
Tail recursion transformation for invertible functions
Tail recursive functions allow for a wider range of optimisations than g...
share
research
∙
02/03/2023
The Quantum Effect: A Recipe for QuantumPi
Free categorical constructions characterise quantum computing as the com...
research
∙
12/06/2022
Branching execution symmetry in Jeopardy by available implicit arguments analysis
When the inverse of an algorithm is well-defined – that is, when its out...
research
∙
09/06/2022
Jeopardy: An Invertible Functional Programming Language
Algorithms are ways of mapping problems to solutions. An algorithm is in...
research
∙
07/02/2022
The Programming of Algebra
We present module theory and linear maps as a powerful generalised and c...
research
∙
07/02/2022
Combinatory Adjoints and Differentiation
We develop a compositional approach for automatic and symbolic different...
research
∙
06/09/2022
Universal Properties of Partial Quantum Maps
We provide a universal construction of the category of finite-dimensiona...
research
∙
07/26/2021
Quantum Information Effects
We study the two dual quantum information effects to manipulate the amou...
research
∙
05/20/2021
Join inverse rig categories for reversible functional programming, and beyond
Reversible computing is a computational paradigm in which computations a...
research
∙
04/30/2021
Graph Traversals as Universal Constructions
We exploit a decomposition of graph traversals to give a novel character...
research
∙
02/17/2021
Bennett and Stinespring, Together at Last
We present a universal construction that relates reversible dynamics on ...
research
∙
05/22/2019
Condition/Decision Duality and the Internal Logic of Extensive Restriction Categories
In flowchart languages, predicates play an interesting double role. In t...
research
∙
04/02/2019
Inversion, Iteration, and the Art of Dual Wielding
The humble † ("dagger") is used to denote two different operations in ca...
research
∙
05/22/2018
Reversible effects as inverse arrows
Reversible computing models settings in which all processes can be rever...
research
∙
10/10/2017