Compositional semantics for composable continuations: from abortive to delimited control.