External Links

    Journal: Higher-Order and Symbolic Computation

    Volume 13, Issue 3

    159 -- 160Olivier Danvy, Carolyn L. Talcott. Editorial
    161 -- 178Scott Thibault, Charles Consel, Julia L. Lawall, Renaud Marlet, Gilles Muller. Static and Dynamic Program Compilation by Interpreter Specialization
    179 -- 216John Hannan, Patrick Hicks. Higher-Order UnCurrying
    217 -- 237Torben Æ. Mogensen. Linear-Time Self-Interpretation of the Pure Lambda Calculus
    239 -- 278Shin-ya Nishizaki. A Polymorphic Environment Calculus and its Type-Inference Algorithm
    runs on