Source : Free On-Line Dictionary of Computing

WHNF
     
        {weak head normal form}