| Ada | structured programming, imperative programming, multi-paradigm programming, object-oriented programming | static typing, nominative typing, safe typing, strong typing | 15 |
| Argus | — | — | — |
| CHILL | procedural programming | static typing, strong typing | 1 |
| CMU Common Lisp | — | — | — |
| Concurrent Euclid | functional programming, structured programming, imperative programming | strong typing | — |
| Emerald | object-oriented programming | static typing, strong typing | — |
| Esterel | concurrent computing, imperative programming | — | — |
| Fjölnir | procedural programming, object-oriented programming | dynamic typing, strong typing | — |
| Franz Lisp | reflective programming, procedural programming, functional programming, metaprogramming | dynamic typing, strong typing | — |
| Joyce | concurrent computing, procedural programming | — | 1 |
| Lustre | dataflow programming, synchronous programming, declarative programming | — | — |
| Newsqueak | concurrent computing | — | 3 |
| S/SL | — | — | — |
| ZetaLisp | — | — | — |