Coroutining Folds with Hyperfunctions. - John Launchbury; Sava Krstic; T. E. Sauerwein (Festschrift for Dave Schmidt, 2013)