English version of this page

Joachim Tilsted Kristensen

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)

Publikasjoner

  • Kristensen, Joachim Tilsted; Perhac, Jan; Tveito, Lars; Vadgaard, Lars-Bo; Thomsen, Michael Kirkedal & Shturmov, Oleks [Vis alle 8 forfattere av denne artikkelen] (2024). OnlineProver: First Experience with Teaching Formal Proofs. NIKT: Norsk IKT-konferanse for forskning og utdanning. ISSN 1892-0713. doi: 10.5324/nikt.6205. Fulltekst i vitenarkiv
  • 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. Fulltekst i vitenarkiv
  • 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. Fulltekst i vitenarkiv
  • Kristensen, Joachim Tilsted; Kaarsgaard, Robin & Thomsen, Michael Kirkedal (2022). Branching execution symmetry in Jeopardy by available implicit arguments analysis. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. Fulltekst i vitenarkiv

Se alle arbeider i NVA

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

Se alle arbeider i NVA

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