Linearly Used Continuations (2001)

by Josh Berdine , Peter W. O'Hearn , Uday S. Reddy , Hayo Thielecke , Peter W. O’hearn
Venue:Computer Science Department, Indiana University
Citations:8 - 2 self