18 citations · 40 across the 7 of their papers we have counts for
Showing 2022Show all
2 papers · 1 filter
cs.PL2022★ 1 cited
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…
cs.PL2022★ 5 cited
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…