Reachability is Decidable for ATM-Typable Finitary PCF with Effect Handlers.

Ryunosuke Endo, Tachio Terauchi

Browse the full APLAS paper archive.