On typing delimited continuations: three new solutions to the printf problem

Kenichi Asai. On typing delimited continuations: three new solutions to the printf problem. Higher-Order and Symbolic Computation, 22(3):275-291, 2009. [doi]

Abstract

Abstract is missing.