| Cambridge LCF | ⊕ 1982 | ⊕ United Kingdom | |||
| HASL | ⊕ 1982 | ⊕ United Kingdom | |||
| MIN1 | ⊕ 1982 | ⊕ United Kingdom | |||
| Occam | ⊕ 1982 | ↓ ↑ ⊕ Multi-purpose | ⊕ Pascals | ⊕ United Kingdom | Parallel Wirth Algol for Transputers |
| P4 Pascal | ⊕ 1982 | ↓ ↑ ⊕ Multi-purpose | ⊕ Pascals | ⊕ United Kingdom | Pemberton and Daniels Pascal |
| Pascal (BS) | ⊕ 1982 | ↓ ↑ ⊕ Multi-purpose | ⊕ Pascals | ⊕ United Kingdom | |
| Poly | ⊕ 1982 | ⊕ United Kingdom | Polymorphic Programming Language | ||
| Sticks&Stones | ⊕ 1982 | ⊕ United Kingdom |