| ACL2 | functional programming | dynamic typing | — |
| Aldor | functional programming, imperative programming, logic programming, object-oriented programming | static typing, dependent type | — |
| AMOS | procedural programming, imperative programming | static typing | — |
| Cadence SKILL | functional programming | dynamic typing | — |
| Coarray Fortran | multi-paradigm programming | — | — |
| Escher | functional programming, logic programming, declarative programming | manifest typing, static typing | — |
| EuLisp | multi-paradigm programming | dynamic typing, strong typing | — |
| Haskell | functional programming, purely functional programming, non-strict programming | static typing, inference typing, strong typing | 24 |
| J | functional programming, function-level programming, tacit programming, multi-paradigm programming, array programming, object-oriented programming | dynamic typing | 2 |
| Janus | concurrent constraint logic programming | — | — |
| Object Oberon | object-oriented programming | — | — |
| Sather | functional programming, object-oriented programming | static typing, strong typing | — |
| SCM | — | dynamic typing, latent typing, strong typing | — |
| Turbo C++ | — | — | — |
| XProfan | — | — | — |