On Typing Delimited Continuations: Three New Solutions to the Printf Problem (2009)

by K Asai
Venue:Higher-Order and Symbolic Computation