| 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 |
| SASL (2nd version) | 1972 | Polymorphic | United Kingdom | Lazy evaluation SASL |