Algebraic Effects, Delimited Continuations, Computational Effects, Control Abstraction