The Free On-line Dictionary of Computing (30 December 2018):

WHNF

   weak head normal form