Info
Meny
English
Logg inn
Søk etter prosjekter, resultater og personer
Søk etter prosjekter, resultater og personer
Cristin-person-ID:
1412692
Person
Joachim Tilsted Kristensen
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, UIO
Vitenskapelig 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, UIO
Vitenskapelig foredrag
Tail recursion transformation for invertible functions.
Kristensen, Joachim Tilsted. 2023, COPLAS talks. UIO
Vitenskapelig 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, UIO
Vitenskapelig foredrag
Tail recursion transformation for invertible functions.
Kristensen, Joachim Tilsted; Kaarsgaard, Robin; Thomsen, Michael Kirkedal. 2023, Lecture Notes in Computer Science (LNCS). SDU, UIO, KU
Vitenskapelig artikkel
1
-
5
av
10
|
Neste
|
Siste »