• Sign in
  • Sign up
conf.researchr.org / Michael Kirkedal Thomsen
  • NWPT 2023 - 34th Nordic Workshop on Programming Theory profile
  • PLDI 2023 profile
  • ‹Programming› 2024 profile
Michael Kirkedal Thomsen

Registered user since Mon 22 May 2023

Name:Michael Kirkedal Thomsen
Affiliation:University of Oslo & University of Copenhagen
Research interests:Programming languages

Contributions

2024

ICW

  • Committee Member in Program Committee within the ICW'24 -- CANCELLED-track

2023

NWPT

  • Session Chair of Machine Learning and Automata (part of NWPT 2023)
  • Author of Exploring an Energy-Efficient Programming Model within the NWPT 2023-track
  • Author of Semi-Inversion with Sum Types within the NWPT 2023-track

DRAGSTERS

  • Author of Unification as a means of completing partial data structures within the DRAGSTERS 2023-track
Share
xTue 17 Jun 22:07
using conf.researchr.org (v1.69.0)
Support page
Sign Up