Representing control in the presence of one-shot continuations (1996)

by C Bruggeman, O Waddell, R K Dybvig
Venue:In ACM SIGPLAN 1996 Conference on Programming Language Design and Implementation