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