| Concurrent ML | — | — | — | — |
| F* | — | functional programming, imperative programming | static typing, dependent typing, refinement typing, inference typing, strong typing | — |
| Nemerle | 2003 | procedural programming, functional programming, imperative programming, multi-paradigm programming, metaprogramming, object-oriented programming | static typing, nominative typing, inference typing, strong typing | — |
| OCaml | 1996 | functional programming, imperative programming, modular programming, object-oriented programming | static typing, inference typing, structural typing, strong typing | 12 |
| Rust | 2006 | generic programming, concurrent computing, procedural programming, functional programming, imperative programming, object-oriented programming | static typing, nominative typing, inference typing, linear typing, strong typing | 12 |
| Scala | 2004 | concurrent computing, functional programming, imperative programming, object-oriented programming | static typing, inference typing, structural typing, strong typing | 9 |
| Standard ML of New Jersey | 2002 | procedural programming | inference typing, strong typing | — |