A paper on formalizing some of partial evaluation, for what it's worth: http://citeseer.nj.nec.com/hatcliff97computational.html ~