1. <programming 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. <database design> Persistent Functional Language.

(03 Feb 2009)