Lazy Evaluation: Computer programming, Data structure, Control flow, Evaluation strategy, Eager evaluation, programming language, Functional

Miranda (programming language): Programming Language, Functional Programming, Lazy Evaluation, Purely Functional.

Erlang (programming language): Programming language, Functional programming, Eager evaluation, Single assignment, Type...

ML (Programming Language): Functional programming, LCF, ISWIM, First order logic, Type polymorphism,...