Combining algebraic effects with continuations (0)

by J M E Hyland, P B Levy, G Plotkin, A J Power
Venue:Theoretical Computer Science