Comparing control constructs by typing double-barrelled CPS transforms (2001)

by H Thielecke
Venue:In Third ACM SIGPLAN Workshop on Continuations