Partial evaluation
[Fallin2024] Partial evaluation, whole-program compilation
» Theory