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 |