1. Nguage> 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. Nguage, database> PersisteNt FuNctioNal LaNguage.