A Modal Calculus for Named Control Effects

by Aleksandar Nanevski