Towards Cumulative Abstract Semantics via Handlers. - Cade Lueker; Andrew Fox; Bor-Yuh Evan Chang (CoRR, 2025)