LNF

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