| 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 |