| Aurora | ⊕ 1988 | ⊕ United Kingdom | |||
| BER | ⊕ 1988 | ↓ ↑ ⊕ Specialised Languages | ⊕ United Kingdom | Basic Encoding Rules | |
| CCLU | ⊕ 1988 | ↓ ↑ ⊕ Multi-purpose | ⊕ United Kingdom | Cambridge CLU | |
| GLIM | ⊕ 1988 | ⊕ United Kingdom | |||
| HOL-88 | ⊕ 1988 | ⊕ United Kingdom | |||
| Hope+ | ⊕ 1988 | ↓ ↑ ⊕ Experimental and other | ⊕ United Kingdom | ||
| Isabelle | ⊕ 1988 | ⊕ United Kingdom | |||
| MacParlog | ⊕ 1988 | ⊕ United Kingdom | |||
| MicroCODIL | ⊕ 1988 | ⊕ United Kingdom | |||
| NAPIER 88 | ⊕ 1988 | ↓ ↑ ⊕ Specialised Languages | ⊕ United Kingdom | ||
| Orwell | ⊕ 1988 | ⊕ United Kingdom | |||
| Parlog++ | ⊕ 1988 | ⊕ United Kingdom | |||
| POLKA | ⊕ 1988 | ⊕ United Kingdom | |||
| Q | ⊕ 1988 | ⊕ United Kingdom | |||
| Strand88 | ⊕ 1988 | ↓ ↑ ⊕ Multi-purpose | ⊕ United Kingdom | Commercialisation of Strand | |
| value-passing CCS | ⊕ 1988 | ⊕ United Kingdom |