Combining algebraic effects with continuations (2007)

by Martin Hyland , Paul Blain Levy , Gordon Plotkin , John Power
Citations:8 - 3 self