Combining algebraic effects with continuations (2007)

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