Facile

SUNY Stony Brook, late 80's, since 1991 at ECRC, Munich

An extension of SML[1] with a model of higher-order concurrent processes based on CCS. It is suitable for loosely connected systems with distributed memory.

"Facile: A Symmetric Integration of Concurrent and Functional Programming", A. Giacalone et al, International Journal of Parallel Programming 18(2):121-160 (Apr 1989).