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 |