◍wovepaper
SearchResearchersInstitutions
Sign in
researcher

Michael Kirkedal Thomsen

3 papers here

Matching runs newest-first, so older work may not be attached to this profile yet.

author position
  • sole author1
  • last author2

Across the 3 of 3 papers where every author was matched, so the position is known.

fields
  • cs.PL3
ORCID 0000-0003-0922-3609
same name
  • Michael Kirkedal Thomsen — 2 papers, h 12

Either other researchers who publish under this name, or the same person where the external sources have not merged their records.

identity via Semantic Scholar / OpenAlex

most citedJeopardy: An Invertible Functional Programming Language

5 citations · 5 across the 3 of their papers we have counts for

collaborators

1 paper

cs.PL2022★ 5 cited

Jeopardy: An Invertible Functional Programming Language

Joachim Tilsted Kristensen, Robin Kaarsgaard, Michael Kirkedal Thomsen

Algorithms are ways of mapping problems to solutions. An algorithm is invertible precisely when this mapping is injective, such that the initial problem can be uniquely inferred fr…

◍wovepaper

Papers, researchers and institutions, woven together.

Explore
  • Search
  • Researchers
  • Institutions
Account
  • Library
  • Chat
Data
  • arXiv.org
  • Semantic Scholar
  • OpenAlex
  • Latest RSS
AboutContactPrivacyDevelopersllms.txtopenapi.json
Not affiliated with arXiv. Researcher data from Semantic Scholar (ODC-BY) and OpenAlex.