Using a continuation twice and its implications for the expressive power of call/cc (1999)

by H Thielecke
Venue:Higher-Order and Symbolic Computation