A CALCULUS FOR SCOPED EFFECTS & HANDLERS. - BOSMAN, ROGER; VAN DEN BERG, BIRTHE; WENHAO TANG; SCHRIJVERS, TOM (Logical Methods in Computer Science (LMCS), 2024)