Cristin-person-ID: 1412692
Person

Joachim Tilsted Kristensen

  • Stilling:
    Stipendiat
    ved Programmeringsteknologi ved Universitetet i Oslo

Resultater Resultater

Jeopardy: An Invertible Functional Programming Language.

Kristensen, Joachim Tilsted; Kaarsgaard, Robin; Thomsen, Michael Kirkedal. 2024, Lecture Notes in Computer Science (LNCS). SDU, UIOVitenskapelig artikkel

Semi-Inversion with Sum Types.

Kristensen, Joachim Tilsted; Vadgaard, Lars-Bo; Thomsen, Michael Kirkedal; Kirkeby, Maja Hanne. 2023, Nordic Workshop on Programming Theory. RUC, UIOVitenskapelig foredrag

Tail recursion transformation for invertible functions.

Kristensen, Joachim Tilsted. 2023, COPLAS talks. UIOVitenskapelig foredrag

Unification as a means of completing partial data structures.

Kristensen, Joachim Tilsted; Kaarsgaard, Robin; Thomsen, Michael Kirkedal. 2023, Workshop on Distributions, Relational Algebra, Graphs, Semi-Rings, Tensors, and All That (DRAGSTERS). SDU, UIOVitenskapelig foredrag

Tail recursion transformation for invertible functions.

Kristensen, Joachim Tilsted; Kaarsgaard, Robin; Thomsen, Michael Kirkedal. 2023, Lecture Notes in Computer Science (LNCS). SDU, UIO, KUVitenskapelig artikkel
1 - 5 av 10 | Neste | Siste »