🚀 go-pugleaf

In article <222@ra.abo.fi> jan@ra.abo.fi (Niklas Sjostrom) writes:
-Partial deduction, previously called partial evaluation in logic, 
[...]

Perhaps I'm out of line here, but isn't partial deduction just another name
for partial evaluation?  If so, there would seem to be a precedent for
preferring the term partial evaluation, as there has already been at least one
event so titled ("Workshop on Partial Evaluation and Mixed Computation",
1987).

If this is correct, I'd like to respectfully suggest that partial evaluation
be preferred, since this subject already has one alias (mixed evaluation), and
a second would make searching the literature even more difficult.

Perhaps others can correct me or offer other opinions.

--Mike

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
try.            %% "When at first you 
try :- try.     %%  don't succeed, ..."                  (coleman@cs.ucla.edu)