External Links

    Journal: Higher-Order and Symbolic Computation

    Volume 19, Issue 4

    343 -- 344Olivier Danvy, Andrzej Filinski, Jean-Louis Giavitto, Andy King, Pierre-Etienne Moreau, Carolyn L. Talcott. Editorial
    345 -- 376Clara Bertolissi, Horatiu Cirstea, Claude Kirchner. Expressing combinatory reduction systems derivations in the rewriting calculus
    377 -- 414Paul Blain Levy. Call-by-push-value: Decomposing call-by-value and call-by-name
    415 -- 463Patricia M. Hill, Fausto Spoto. Deriving escape analysis by abstract interpretation
    runs on