The Free On-line Dictionary of Computing (19 January 2023):

WHNF

   weak head normal form