Journal: Higher-Order and Symbolic Computation

Volume 22, Issue 3

197 -- 0Olivier Danvy, Carolyn L. Talcott. Editorial
199 -- 231Zaynah Dargaye, Xavier Leroy. A verified framework for higher-order uncurrying optimizations
233 -- 273Zena M. Ariola, Hugo Herbelin, Amr Sabry. A type-theoretic foundation of delimited continuations
275 -- 291Kenichi Asai. On typing delimited continuations: three new solutions to the printf problem