Linear Continuation-Passing (2002)

by Josh Berdine, Peter O'Hearn, Uday Reddy, Hayo Thielecke
Venue:in the 2001 ACM SIGPLAN Workshop on Continuations (CW'01