1 paper
Wenhao Tang, Leo White, Stephen Dolan +3
Effect handlers are a powerful abstraction for defining, customising, and composing computational effects. Statically ensuring that all effect operations are handled requires some…