A type system for effect handlers and dynamic labels
scientific article; zbMATH DE number 7770317