Formal FP. A language similar to FP, but with regular
sugarless
syntax, for machine execution.
["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)