PFL

from The Free On-line Dictionary of Computing (8 July 2008)

PFL

   1. <language> 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. <language, database> {Persistent Functional Language}.