External Links

    Journal: Higher-Order and Symbolic Computation

    Volume 8, Issue 3

    191 -- 208Lars Birkedal, Morten Welinder. Binding-Time Analysis for Standard ML
    209 -- 227Olivier Danvy, Karoline Malmkjær, Jens Palsberg. The Essence of Eta-Expansion in Partial Evaluation
    229 -- 248Mark P. Jones. Dictionary-Free Overloading by Partial Evaluation
    249 -- 266Kei Davis. PERs from Projections for Binding-Time Analysis
    267 -- 285Clement A. Baker-Finch. Type Theory and Projections for Static Analysis
    runs on