Joachim Tilsted Kristensen

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

Collaborative distances:

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

2024

Jeopardy: An Invertible Functional Programming Language.

Joachim Tilsted Kristensen, Robin Kaarsgaard, Michael Kirkedal Thomsen

Proceedings of the Reversible Computation - 16th International Conference, 2024

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