What is the abbreviation for Type directed partial evaluation?

Looking for the shorthand of Type directed partial evaluation or how to abbreviate it? We have 2 shorthands for Type directed partial evaluation.

ADVERTISEMENT