A monadic framework for subcontinuations (2005)

by R. Kent Dybvig, Simon Peyton Jones, Amr Sabry