Tags: Programming Language.
Lazy ML (LML) is a functional programming language developed in the early 1980s by Lennart Augustsson and Thomas Johnsson at Chalmers University of Technology prior to Miranda and Haskell. LML is a strongly typed statically scoped implementation of ML with lazy evaluation.The key innovation of LML was to demonstrate how to compile a lazy functional language. Until then lazy languages had been implemented via interpreted graph reduction.