Lazy evaluation and delimited control