Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Joachim Kristensen
conf.researchr.org general profile
NWPT 2023 - 34th Nordic Workshop on Programming Theory profile
PLDI 2023 profile
Registered user since Fri 19 May 2023
Name:
Joachim Kristensen
Affiliation:
University of Oslo
Contributions
2023
NWPT
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
x
Sat 14 Dec 07:20