18 citations · 40 across the 7 of their papers we have counts for
7 papers
Tail recursion transformation for invertible functions
Joachim Tilsted Kristensen, Robin Kaarsgaard, Michael Kirkedal Thomsen
Tail recursive functions allow for a wider range of optimisations than general recursive functions. For this reason, much research has gone into the transformation and optimisation…
Branching execution symmetry in Jeopardy by available implicit arguments analysis
Joachim Tilsted Kristensen, Robin Kaarsgaard, Michael Kirkedal Thomsen
When the inverse of an algorithm is well-defined -- that is, when its output can be deterministically transformed into the input producing it -- we say that the algorithm is invert…
Jeopardy: An Invertible Functional Programming Language
Joachim Tilsted Kristensen, Robin Kaarsgaard, Michael Kirkedal Thomsen
Algorithms are ways of mapping problems to solutions. An algorithm is invertible precisely when this mapping is injective, such that the initial problem can be uniquely inferred fr…
Join Inverse Rig Categories for Reversible Functional Programming, and Beyond
Robin Kaarsgaard, Mathys Rennela
Reversible computing is a computational paradigm in which computations are deterministic in both the forward and backward direction, so that programs have well-defined forward and…
Condition/Decision Duality and the Internal Logic of Extensive Restriction Categories
Robin Kaarsgaard
In flowchart languages, predicates play an interesting double role. In the textual representation, they are often presented as conditions, i.e., expressions which are easily combin…
Inversion, Iteration, and the Art of Dual Wielding
Robin Kaarsgaard
The humble ("dagger") is used to denote two different operations in category theory: Taking the adjoint of a morphism (in dagger categories) and finding the least fixed p…
A categorical foundation for structured reversible flowchart languages: Soundness and adequacy
Robert Glück, Robin Kaarsgaard
Structured reversible flowchart languages is a class of imperative reversible programming languages allowing for a simple diagrammatic representation of control flow built from a l…