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

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