coq | ⊕ 1991 | ↓ ↑ ⊕ String and List Processing | ⊕ France | ||
Eiffel 3 | ⊕ 1991 | ⊕ France | |||
Meroon | ⊕ 1991 | ⊕ France | |||
RC | ⊕ 1991 | ↓ ↑ ⊕ Experimental and other | ⊕ France | Reactive C | |
Sqil | ⊕ 1991 | ↓ ↑ ⊕ Specialised Languages | ⊕ France | Intermediate language for functional programming languages | |
TIM | ⊕ 1991 | ⊕ France | |||
Xfun | ⊕ 1991 | ⊕ France |