| BMF | ⊕ 1990 | ⊕ United Kingdom | |||
| CHARM | ⊕ 1990 | ⊕ United Kingdom | |||
| HOL-90 | ⊕ 1990 | ⊕ United Kingdom | |||
| Hope++ | ⊕ 1990 | ⊕ United Kingdom | |||
| LindaLISP | ⊕ 1990 | ↓ ↑ ⊕ String and List Processing | ⊕ Lazy Evaluation LISPs | ⊕ United Kingdom | |
| LO | ⊕ 1990 | ↓ ↑ ⊕ Specialised Languages | ⊕ United Kingdom | Linear Objects | |
| Mast | ⊕ 1990 | ↓ ↑ ⊕ Specialised Languages | ⊕ Expression oriented | ⊕ United Kingdom | Continuous simulations language |
| Occam 2.1 | ⊕ 1990 | ↓ ↑ ⊕ Multi-purpose | ⊕ United Kingdom | Improved Occam 2 | |
| Parallel SML | ⊕ 1990 | ⊕ United Kingdom | |||
| Pascal-FC | ⊕ 1990 | ↓ ↑ ⊕ Multi-purpose | ⊕ Pascals | ⊕ United Kingdom | |
| PFL | ⊕ 1990 | ⊕ United Kingdom | Persistent Functional Language | ||
| POMS | ⊕ 1990 | ⊕ United Kingdom | |||
| Prolog-2 | ⊕ 1990 | ↓ ↑ ⊕ String and List Processing | ⊕ Horn clause | ⊕ United Kingdom | |
| SAL | ⊕ 1990 | ↓ ↑ ⊕ Specialised Languages | ⊕ United Kingdom | SPARK Annotation Language | |
| Scheme-Linda | ⊕ 1990 | ⊕ United Kingdom | |||
| SPARK | ⊕ 1990 | ↓ ↑ ⊕ Multi-purpose | ⊕ United Kingdom | Provable Ada | |
| Sticks&Stones II | ⊕ 1990 | ⊕ United Kingdom | |||
| TELOS | ⊕ 1990 | ⊕ United Kingdom | |||
| Z++ | ⊕ 1990 | ⊕ United Kingdom |