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.