Representing Control in the Presence of One-Shot Continuations (1996)

by Carl Bruggeman, Oscar Waddell, R. Kent Dybvig