noun
(computing, programming) A compile-time transformation which eliminates higher-order functions, replacing them by a single first-order apply function.