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