A monadic framework for subcontinuations (2005)

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