A property of a programming language in which there are no variables but only functions.
See also single assignment.