Noun
defunctionalization (countable and uncountable, plural defunctionalizations) (computing, programming) A compile-time transformation which eliminates higher-order functions, replacing them by a single first-order apply function.