Combining algebraic effects with continuations (2007)

by Martin Hyland, Paul Blain Levy , Gordon Plotkin , John Power