Gerald

"Gerald: An Exceptional Lazy Functional Programming Language", A. C. Reeves et al, in Functional Programming, Glasgow 1989, K. Davis et al eds, Springer-Verlag, 1990.