BMF |
⊕
1990
|
|
|
⊕
United Kingdom
|
|
CHARM |
⊕
1990
|
|
|
⊕
United Kingdom
|
|
HOL-90 |
⊕
1990
|
|
|
⊕
United Kingdom
|
|
Hope++ |
⊕
1990
|
|
|
⊕
United Kingdom
|
|
LindaLISP |
⊕
1990
|
↓
↑
⊕
String and List Processing
|
⊕
Lazy Evaluation LISPs
|
⊕
United Kingdom
|
|
LO |
⊕
1990
|
↓
↑
⊕
Specialised Languages
|
|
⊕
United Kingdom
|
Linear Objects |
Mast |
⊕
1990
|
↓
↑
⊕
Specialised Languages
|
⊕
Expression oriented
|
⊕
United Kingdom
|
Continuous simulations language |
Occam 2.1 |
⊕
1990
|
↓
↑
⊕
Multi-purpose
|
|
⊕
United Kingdom
|
Improved Occam 2 |
Parallel SML |
⊕
1990
|
|
|
⊕
United Kingdom
|
|
Pascal-FC |
⊕
1990
|
↓
↑
⊕
Multi-purpose
|
⊕
Pascals
|
⊕
United Kingdom
|
|
PFL |
⊕
1990
|
|
|
⊕
United Kingdom
|
Persistent Functional Language |
POMS |
⊕
1990
|
|
|
⊕
United Kingdom
|
|
Prolog-2 |
⊕
1990
|
↓
↑
⊕
String and List Processing
|
⊕
Horn clause
|
⊕
United Kingdom
|
|
SAL |
⊕
1990
|
↓
↑
⊕
Specialised Languages
|
|
⊕
United Kingdom
|
SPARK Annotation Language |
Scheme-Linda |
⊕
1990
|
|
|
⊕
United Kingdom
|
|
SPARK |
⊕
1990
|
↓
↑
⊕
Multi-purpose
|
|
⊕
United Kingdom
|
Provable Ada |
Sticks&Stones II |
⊕
1990
|
|
|
⊕
United Kingdom
|
|
TELOS |
⊕
1990
|
|
|
⊕
United Kingdom
|
|
Z++ |
⊕
1990
|
|
|
⊕
United Kingdom
|
|