The Free On-line Dictionary of Computing (19 January 2023):

PFL

   1.  A concurrent extension of ML by Holmstrom and
   Matthews, using CCS.

   ["PFL: A Functional Language for Parallel Programming",
   S. Holmstrom in Proc Declarative Language Workshop, London
   1983].

   2.  Persistent Functional Language.