Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Ryunosuke Endo
conf.researchr.org general profile
APLAS 2025 profile
ATVA 2025 profile
Not registered as user
Name:
Ryunosuke Endo
Affiliation:
Waseda University
Contributions
2025
ATVA
Author of Reachability is Decidable for ATM-Typable Finitary PCF with Effect Handlers within the APLAS Papers-track
APLAS
Author of Reachability is Decidable for ATM-Typable Finitary PCF with Effect Handlers within the Research Papers-track
Share
x
Wed 22 Oct 14:58