Using a Continuation Twice and Its Implications for the Expressive Power of Call/CC

Hayo Thielecke. Using a Continuation Twice and Its Implications for the Expressive Power of Call/CC. Higher-Order and Symbolic Computation, 12(1):47-73, 1999.

Abstract

Abstract is missing.