Joachim Tilsted Kristensen

Publication Activity (10 Years)

Years Active: 2022-2024
Publications (10 Years): 6

Top Topics

Object Oriented Concepts

Database Languages

Denotational Semantics

General Purpose

Top Venues

Publications

Joachim Tilsted Kristensen, Robin Kaarsgaard, Michael Kirkedal Thomsen
Jeopardy: An Invertible Functional Programming Language. RC (2024)
Joachim Tilsted Kristensen, Robin Kaarsgaard, Michael Kirkedal Thomsen
Tail Recursion Transformation for Invertible Functions. RC (2023)
Joachim Tilsted Kristensen, Robin Kaarsgaard, Michael Kirkedal Thomsen
Tail recursion transformation for invertible functions. CoRR (2023)
Triera Gashi, Sophie Adeline Solheim Bosio, Joachim Tilsted Kristensen, Michael Kirkedal Thomsen
pun: Fun with Properties; Towards a Programming Language With Built-in Facilities for Program Validation. CoRR (2023)
Joachim Tilsted Kristensen, Robin Kaarsgaard, Michael Kirkedal Thomsen
Branching execution symmetry in Jeopardy by available implicit arguments analysis. CoRR (2022)
Joachim Tilsted Kristensen, Robin Kaarsgaard, Michael Kirkedal Thomsen
Jeopardy: An Invertible Functional Programming Language. CoRR (2022)