Joachim Tilsted Kristensen

According to our database, Joachim Tilsted Kristensen authored at least 4 papers between 2022 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2023

pun: Fun with Properties; Towards a Programming Language With Built-in Facilities for Program Validation.

Triera Gashi, Sophie Adeline Solheim Bosio, Joachim Tilsted Kristensen, Michael Kirkedal Thomsen

CoRR, 2023

Tail Recursion Transformation for Invertible Functions.

Joachim Tilsted Kristensen, Robin Kaarsgaard, Michael Kirkedal Thomsen

Proceedings of the Reversible Computation - 15th International Conference, 2023

2022

Branching execution symmetry in Jeopardy by available implicit arguments analysis.

Joachim Tilsted Kristensen, Robin Kaarsgaard, Michael Kirkedal Thomsen

CoRR, 2022

Jeopardy: An Invertible Functional Programming Language.

Joachim Tilsted Kristensen, Robin Kaarsgaard, Michael Kirkedal Thomsen

CoRR, 2022