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.