Interruptible iterators.

Jed Liu, Aaron Kimball, Andrew C. Myers

Browse the full POPL paper archive.