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

LNF

   ["A Fully Lazy Higher Order Purely Functional Programming
   Language With Reduction Semantics", K.L. Greene, CASE Center
   TR 8503, Syracuse U 1985].