WHNF

(redirected from Weak Head Normal Form)
Also found in: Encyclopedia.
AcronymDefinition
WHNFWeak Head Normal Form (lambda calculus)