| EDDI | 1999 | United Kingdom | |||
| Epigram | 1999 | United Kingdom | dependently typed functional programming language | ||
| Fickle-99 | 1999 | United Kingdom | |||
| Magik | 1999 | Specialised Languages | United Kingdom | ||
| MCPL | 1999 | Multi-purpose | CPL, BCPL and B | United Kingdom | Matching CPL |
| SPARK95 | 1999 | Multi-purpose | United Kingdom | Provable Ada95 | |
| Vorlon | 1999 | United Kingdom |