Neil D. Jones Challenging Problems in Partial Evaluation and Mixed Computation. 291-302 1988 6 New Generation Comput. 2&3 db/journals/ngc/ngc6.html#Jones88a http://dx.doi.org/10.1007/BF03037143