| [B/D] | ⊕ 1987 | ↓ ↑ ⊕ Specialised Languages | ⊕ United Kingdom | Bayesian Probability Programming Language | |
| CSP-S | ⊕ 1987 | ⊕ United Kingdom | |||
| DACTL | ⊕ 1987 | ⊕ Intermediate languages and VMs | ⊕ United Kingdom | Declarative Alvey Compiler Target Language | |
| Dactl0 | ⊕ 1987 | ⊕ United Kingdom | |||
| F-HYBRID | ⊕ 1987 | ⊕ United Kingdom | |||
| FLIC | ⊕ 1987 | ↓ ↑ ⊕ Specialised Languages | ⊕ United Kingdom | Intermediate level language for functional programs | |
| IB-Templog | ⊕ 1987 | ⊕ United Kingdom | |||
| Occam 2 | ⊕ 1987 | ⊕ United Kingdom | Improved version of Occam | ||
| PJama | ⊕ 1987 | ⊕ United Kingdom | |||
| PPLambda | ⊕ 1987 | ⊕ United Kingdom | |||
| SASL+LV | ⊕ 1987 | ⊕ United Kingdom | |||
| SPI | ⊕ 1987 | ↓ ↑ ⊕ Specialised Languages | ⊕ Interface and windowing | ⊕ United Kingdom | Interface definition language based around CSP and me-too |
| Strand | ⊕ 1987 | ⊕ United Kingdom | |||
| UMIST-OBJ | ⊕ 1987 | ⊕ United Kingdom |