Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Wiktor Kuchta
conf.researchr.org general profile
ICFP 2023 profile
Registered user since Fri 8 Sep 2023
Name:
Wiktor Kuchta
Affiliation:
University of Wrocław
Contributions
2023
HOPE
Author of A proof of normalization for effect handlers within the HOPE 2023-track
Share
x
Thu 19 Dec 01:30