generated at
partial evaluation
部分評価
compile-time function execution
memoization
Partial application
Run-time algorithm specialisation
smn theorem
Strength reduction
Template metaprogramming

googlepartial evaluation
image partial evaluation
define partial evaluation
wikipedia partial evaluation
weblio partial evaluation
kotobank partial evaluation
jisho partial evaluation