autoprojector

autoprojector

(theory)A self-applicable partial evaluator.