defunctionalization

Today it means: A compile-time transformation which eliminates higher-order functions, replacing them by a single first-order apply function. Full definition →