LNF

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

Try this search on Wikipedia, OneLook, Google

Nearby terms:

LML « LM-Prolog « LMTP « LNF » LO » L&O » load

Loading