| ForceEpsilon | ⊕ 1989 | ↓ ↑ ⊕ Experimental and other | Polymorphic | ⊕ Canada | |
| mLucid | ⊕ 1993 | ↓ ↑ ⊕ Specialised Languages | Polymorphic | ⊕ Canada | Indexical Lucid |
| muFP | ⊕ 1984 | ↓ ↑ ⊕ Specialised Languages | Polymorphic | ⊕ United Kingdom | VLSI functional language |
| NAKL | ⊕ 1982 | ↓ ↑ ⊕ Specialised Languages | Polymorphic | ⊕ United States | Dataflow lagnuage |