The Lambda Programming Language