TY  - RPRT
TI  - Reachability is Decidable for ATM-Typable Finitary PCF with Effect Handlers
AU  - Ryunosuke Endo
AU  - Tachio Terauchi
PY  - 2025
UR  - https://arxiv.org/abs/2508.12572
ID  - 2508.12572
ER  -