FFP Formal FP. A language similar to FP, but with regular sugarless {syntax}, for machine execution. See also {FL}. ["Can Programming be Liberated From the von Neumann Style? A Functional Style and Its Algebra of Programs", John Backus, 1977 Turing Award Lecture, CACM 21(8):165-180 (Aug 1978)]. (1994-10-24)