Source : Free On-Line Dictionary of Computing

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