WHNF

Meaning of WHNF in English

weak head normal form

FOLDOC computer English dictionary. Английский словарь по компьютерам FOLDOC. 2012

EVALUATOR — < theory > Geoff Burn defines evaluators E0, E1, E2 and E3 which when applied to an expression, reduce it …
FOLDOC Computer English Dictionary
BLACK HOLE — 1. An expression which depends on its own value or a technique to detect such expressions. In graph reduction, when …
FOLDOC Computer English Dictionary
WEAK HEAD NORMAL FORM — < reduction , lambda calculus > (WHNF) A lambda expression is in weak head normal form (WHNF) if it is …
FOLDOC Computer English Dictionary
HYPERSTRICT — A function which is hyperstrict in some argument will fully evaluate that argument. To fully evaluate an object, evaluate it …
FOLDOC Computer English Dictionary

← WGL WHQL→