The Free On-line Dictionary of Computing (30 December 2018):

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)