Lazy evaluation and delimited control (2009)

by R Garcia, A Lumsdaine, A Sabry
Venue:In Proceedings of POPL '09