Eijiro Sumii Naoki Kobayashi Online-and-Offline Partial Evaluation: A Mixed Approach (Extended Abstract). 12-21 2000 PEPM http://doi.acm.org/10.1145/328690.328694 db/conf/pepm/pepm2000.html#SumiiK00