Combining algebraic effects with continuations (2007)

by Martin Hyland , Paul Blain Levy , Gordon Plotkin , John Power
Citations:17 - 4 self