Uday Reddy, and Hayo Thielecke. Linear continuation passing (2002)

by Josh Berdine, Peter W O’Hearn
Venue:Higher-order and Symbolic Computation