| Alice | 2000 | concurrent computing, functional programming, imperative programming, constraint programming | static typing, inference typing, strong typing | 1 |
| ATS | 2006 | functional programming, declarative programming | static typing, dependent typing, linear typing | — |
| C# | 2001 | generic programming, reflective programming, event-driven programming, functional programming, structured programming, imperative programming, multi-paradigm programming, class-based programming, strict programming, object-oriented programming | dynamic typing, nominative typing, inference typing, strong typing | 23 |
| C++ | 1983 | generic programming, procedural programming, functional programming, multi-paradigm programming, object-oriented programming | static typing, nominative typing, partial inference typing | 36 |
| Caml | 1985 | functional programming, imperative programming, multi-paradigm programming | static typing, inference typing, strong typing | — |
| Ceylon | 2011 | functional programming, imperative programming, multi-paradigm programming, object-oriented programming | static typing, safe typing, strong typing | — |
| Claire | 1994 | reflective programming, functional programming, class-based programming language, object-oriented programming | dynamic typing, static typing, strong typing | — |
| Clojure | 2007 | concurrent computing, agent-oriented programming, functional programming, logic programming | dynamic typing, strong typing | 2 |
| Erlang | 1986 | concurrent computing, functional programming, multi-paradigm programming, declarative programming | dynamic typing, strong typing | 8 |
| F# | 2005 | reflective programming, concurrent computing, functional programming, imperative programming, metaprogramming, object-oriented programming | static typing, inference typing, strong typing | 4 |
| Haskell | 1990 | functional programming, purely functional programming, non-strict programming | static typing, inference typing, strong typing | 24 |
| Kotlin | 2011 | generic programming, reflective programming, concurrent computing, functional programming, structured programming, imperative programming, declarative programming, object-oriented programming | static typing, inference typing, strong typing | 2 |
| M | 2008 | — | — | — |
| Miranda | 1985 | purely functional programming, declarative programming | static typing, strong typing | 3 |
| ParaSail | 2009 | concurrent computing, procedural programming, structured programming, parallel computing, object-oriented programming | static typing, strong typing | — |
| Scala | 2004 | concurrent computing, functional programming, imperative programming, object-oriented programming | static typing, inference typing, structural typing, strong typing | 9 |
| Standard ML | 1983 | procedural programming, functional programming, imperative programming, modular programming | static typing, inference typing, strong typing | 7 |
| Ur/Web | 2014 | — | — | — |