Inklings: a tumblelog

An Operational Foundation for Delimited Continuations in the CPS Hierarchy

Linked to for the rather good explaination of delimited/composable/partial continuations further down in the comments.