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