“Partial Evaluation” (computability; backlinks)