Combining Continuations with Other Effects

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