Equational axiomatization of call-by-name delimited control
Yukiyoshi Kameyama, Asami Tanaka · 2010
Control operators for delimited continuations are useful in various fields such as partial evaluation, CPS translation, and representation of monadic effects. While many works in the literature study them in call-by-value, several recent works have shown call-by-name delimited control operators are also worth studying.