A verified framework for higher-order uncurrying optimizations Zaynah DargayeXavier Leroy OriginalPaper 19 January 2010 Pages: 199 - 231
A type-theoretic foundation of delimited continuations Zena M. AriolaHugo HerbelinAmr Sabry OriginalPaper 24 October 2007 Pages: 233 - 273
On typing delimited continuations: three new solutions to the printf problem Kenichi Asai OriginalPaper 17 December 2009 Pages: 275 - 291