FFP - Formal FP. 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). (See FP, FL).
Comments, Experience, Additions
Next Language: F+L