Joachim Tilsted Kristensen

Stipendiat - Programmeringsteknologi

English version of this page

E-post joachkr@ifi.uio.no

Brukernavn

Besøksadresse Gaustadalléen 23B 0373 Oslo

Postadresse Postboks 1080 Blindern 0316 Oslo

Andre tilknytninger Det matematisk-naturvitenskapelige fakultet (Student)

Last ned visittkort

Publikasjoner

Kristensen, Joachim Tilsted; Kaarsgaard, Robin & Thomsen, Michael Kirkedal (2024). Jeopardy: An Invertible Functional Programming Language. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 14680. doi: 10.1007/978-3-031-62076-8_9.
Kristensen, Joachim Tilsted; Kaarsgaard, Robin & Thomsen, Michael Kirkedal (2023). Tail recursion transformation for invertible functions. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 13960, s. 73–88. doi: 10.1007/978-3-031-38100-3_6.
Kristensen, Joachim Tilsted; Kaarsgaard, Robin & Kirkedal Thomsen, Michael (2022). Branching execution symmetry in Jeopardy by available implicit arguments analysis. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743.

Kristensen, Joachim Tilsted; Vadgaard, Lars-Bo; Thomsen, Michael Kirkedal & Kirkeby, Maja Hanne (2023). Semi-Inversion with Sum Types.
Kristensen, Joachim Tilsted (2023). Tail recursion transformation for invertible functions.
Kristensen, Joachim Tilsted; Kaarsgaard, Robin & Thomsen, Michael Kirkedal (2023). Unification as a means of completing partial data structures.
Kristensen, Joachim Tilsted (2023). Tail recursion transformation for invertible functions.
Kristensen, Joachim Tilsted (2022). Dependent types modulo phase distinction.
Kristensen, Joachim Tilsted (2022). Jeopardy : an invertible programming language.
Kristensen, Joachim Tilsted; Kirkedal Thomsen, Michael & Kaarsgaard, Robin (2022). Jeopardy: An Invertible Functional Programming Language.

Publisert 21. apr. 2022 15:38 - Sist endret 21. apr. 2022 15:38