Lazy evaluation and delimited control.

Ronald Garcia, Andrew Lumsdaine, Amr Sabry

Browse the full POPL paper archive.