| CLOS0 | ⊕ 1993 | ⊕ Germany | |||
| CommonLisp0 | ⊕ 1993 | ↓ ↑ ⊕ String and List Processing | ⊕ Lazy Evaluation LISPs | ⊕ Germany | |
| CuPit | ⊕ 1993 | ⊕ Germany | |||
| Deva | ⊕ 1993 | ⊕ Germany | |||
| DMIS 2 | ⊕ 1993 | ⊕ Germany | |||
| DOWL | ⊕ 1993 | ⊕ Germany | |||
| GRAMOS-GPSS | ⊕ 1993 | ⊕ Germany | |||
| High-integrity PEARL | ⊕ 1993 | ⊕ Germany | |||
| KARL | ⊕ 1993 | ⊕ Germany | |||
| MODEL-K | ⊕ 1993 | ⊕ Germany | |||
| Modula-3* | ⊕ 1993 | ⊕ Germany | |||
| Modula-3pi | ⊕ 1993 | ⊕ Germany | |||
| OPAL | ⊕ 1993 | ↓ ↑ ⊕ Specialised Languages | ⊕ Goguen algebra | ⊕ Germany | Algebraic functional language |
| OPAL-0 | ⊕ 1993 | ↓ ↑ ⊕ String and List Processing | ⊕ Goguen algebra | ⊕ Germany | Algebraic functional language |
| OPAL-1 | ⊕ 1993 | ↓ ↑ ⊕ Specialised Languages | ⊕ Goguen algebra | ⊕ Germany | Algebraic functional language |
| OZ | ⊕ 1993 | ↓ ↑ ⊕ Specialised Languages | ⊕ Germany | Concurrent constraint language | |
| P-Progol | ⊕ 1993 | ⊕ Germany | |||
| SETHEO | ⊕ 1993 | ⊕ Germany | |||
| SPECTRUM | ⊕ 1993 | ⊕ Germany | |||
| TAL | ⊕ 1993 | ↓ ↑ ⊕ Specialised Languages | ⊕ Germany | CAI analysis language | |
| UMLS | ⊕ 1993 | ⊕ Germany | |||
| VDM++ | ⊕ 1993 | ⊕ Germany |