Partial Evaluation of Interaction Nets.
Denis Béchet · 1992
In recent years, partial evaluation has once again become the object of considerable interest. Its general principle consists in specializing a process when one or more of its inputs are given. This extended abstract describes how this concept can be applied to interaction nets. After a brief introduction