Source : Free On-Line Dictionary of Computing

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}.