LNF

from The Free On-line Dictionary of Computing (8 July 2008)

LNF

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