External Links

    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
    runs on