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.